Using the Categorical Converter - 4|
We begin to try to trace a path from the premise to the conclusion. Looking at the diagram, we can see it makes sense to try to move toward the conclusion. So we trace a path from the nSnP under the A column to the nSP under the E column.
Moving from nSnP to mSP follows the rule of Obversion (that's what the ob at the side stands for). 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.
Please click here to
10 August 1996