Using the Categorical Converter - 5|
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
10 August 1996