Using the Categorical Converter - 4

The Catergical Converter 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 continue.

10 August 1996