$title = "Using the Categorical Converter - 5"; //
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 include "footer.inc"; ?>