Using the Categorical Converter - 6|
We continue by tracing our path from the PnS under the O column to the PS under the A column. Moving from PnS to PS follows the rule of Obversion. 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, thus (by obversion) "All P is S" is true.
Please click here to
10 August 1996