|
|
Prev - Next |
 |
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 
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 PS under the
A column to the SP
under the I column.
Moving from PS to SP
follows the rule of Conversion.
Since we encounter
no symbol along the path, the
token remains T (true).