Using the Categorical Converter - 5

The Catergical Converter We continue by tracing our path along the O column from nSP to PnS.

Moving from nSP to PnS follows the rule of Conversion (that's what the cn at the side stands for). Since we encounter no symbol along the path, the token remains T (true).

We might represent our inference thus far as:

"All non-S is non-P" is true, thus (by obversion) "No non-S is P" is true, thus (by conversion) "No non-P is non-S" is true.

Please click here to continue.

10 August 1996