--|---|---| .-------.
| |(O)| | |
| .---|---. | .'. "All x are y';
|(I) | | All y are x'."
.---------------.

i.e. "All diligent students are learned; and all ignorant students are
idle".
pg065
(4) [see p. 63]

"Of the prisoners who were put on their trial at the last
Assizes, all, against whom the verdict 'guilty' was
returned, were sentenced to imprisonment;

Some, who were sentenced to imprisonment, were also
sentenced to hard labour".

Univ. "prisoners who were put on their trial at the last Assizes",
m = sentenced to imprisonment; x = against whom the verdict 'guilty' was
returned; y = sentenced to hard labour.

.---------------.
"All x are m; |(O) | (O)|
Some m are y." | .---|---. |
| | (I) | |
|---|(I)|---|---|
| | | | |
| .---|---. | There is no
| | | Conclusion.
.---------------.

[Review Tables VII, VIII (pp. 48, 49). Work Examples Sec. =1=,
17-21 (p. 97); Sec. =4=, 1-6 (p. 100); Sec. =5=, 1-6 (p. 101).]

pg066
Sec. 3.

_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
.------