$title = "Using the Categorical Converter - 7"; //
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, thus (by obversion) "All P is S" is true, thus (by conversion) "Some S is P" is true.
Please click here to
continue.
10 August 1996 include "footer.inc"; ?>