¬∃x(¬Yx∧Px)，∀x(Zx→Yx)，∴¬∃x(¬Zx∧Px)

【除S外，都不是P】=【所有非S，都不是P】=【S'EP】=【PES'】=【PAS】=【所有P都是S】。

1.¬∃x(¬Yx∧Px)，
2.∀x(Zx→Yx)，
3.∴¬∃x(¬Zx∧Px)
原论证等值于：
4.∀x(Px→Yx)，
5.∀x(Zx→Yx)，
6.∴∀x(Px→Zx)，
若论域U={a}.
则该论证等值于：
7.Pa→Ya.
8.Za→Ya.
9.∴Pa→Za.
此时，若Pa为真,Za为假，Ya为真，则7为真，8为真，而9为假。
就是说，前提为真而结论为假。
总之，原论证无效。

英雄配美人，英语这样说：
None but the brave deserve the fair.

1.除了英雄以外，无人能配得上美人。
2.每一位战士都是英雄。
3.所以，除了战士之外，没有人能配得上美人。
4.只有英雄才是配得上美人的。（由1）
5.所有配得上美人的人都是英雄。（由4）
6.所有战士都是英雄。（由2）
7.所以，所有配得上美人的都是战士。（由3）
由5,6,7，组成的三段论为：SAM, PAM, ∴SAP.
该三段论格式为AAA-2. 它是无效的。
其中的三个直言命题，也可以用谓词逻辑符号表示。