$title = "Using the Categorical Converter - 8"; //
We represent our final inference 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, thus (by contradiction) "No S is P" is false.
This completes the description
of how to use the Categorical
Converter. If you wish, you
may view
the Converter again, or you
may learn how the Converter
is
constructed.
10 August 1996 include "footer.inc"; ?>