(3) “Two terms both disagreeing with one and the same third term may or may not agree with each other.”
Making use of the symbols as explained on a previous page of this chapter, it will be seen that the first canon conforms to this syllogistic type:
All M is G
All S is M
∴ All S is G
The two terms are S and G, while M is the third term.
The attending symbolizations illustrate, respectively, the second and third canons:
No M is G
All S is M
∴ No S is G