|
|
Prev - Next |
 |
Using the Categorical Converter - 6
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
continue.
10 August 1996 
For Educators Stephen Downes Guide to the Logical Fallacies Copyright © Stephen Downes, 1995-2001 stephen.downes@ualberta.ca |
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).