$title = "Using the Categorical Converter - 4"; //
Moving from nSnP to mSP follows the rule of Obversion (that's what the ob 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.
Please click here to
continue.
10 August 1996 include "footer.inc"; ?>