Given a Trio of Propositions of Relation, of which every two contain a Pair of codivisional Classes, and which are proposed as a Syllogism; to ascertain whether the proposed Conclusion is consequent from the proposed Premisses, and, if so, whether it is complete.
The Rules, for doing this, are as follows:—
(1) Take the proposed Premisses, and ascertain, by the process described at [p. 60], what Conclusion, if any, is consequent from them.
(2) If there be no Conclusion, say so.
(3) If there be a Conclusion, compare it with the proposed Conclusion, and pronounce accordingly.
I will now work out, in their briefest form, as models for the Reader to imitate in working examples, six Problems.
(1)
“All soldiers are strong;
All soldiers are brave.
Some strong men are brave.”
Univ. “men”; m = soldiers; x = strong; y = brave.
| [pg067] “All m are x; All m are y. Some x are y.” | ∴ “Some x are y.” |