Note 342 — Chapter III
Reading edition
The order of inference in this and in other reductions might be made clear by the use of arrows, representing inference, as follows:
All P is M,⟍ ↗ No M is S,
No S is M, ⟋ ↘ All P is M,
↓
No S is P.← No P is S,
Reading edition
The order of inference in this and in other reductions might be made clear by the use of arrows, representing inference, as follows:
All P is M,⟍ ↗ No M is S,
No S is M, ⟋ ↘ All P is M,
↓
No S is P.← No P is S,