∴ ¬q,¬s ¬q
¬s ¬r
∴¬p ∴ ¬r ∴¬p∧ ¬r
反三段论
如果从若干前提得出一个结论的推理是有效的, 那么, 若结论 为假,则一定至少有一前提为假。如果知道其中的一个前提真,则 剩余那个前提一定为假。
三段论: (p∧q )r
反三段论: ((p∧q )r) (¬r ∧ p) ¬q ) ((p∧q )r) (¬r ∧q) ¬p )
P是q的必要条件 q是p的充分条件
((pq)∧ ¬p) ¬q 否定前件式 无p必无q
((p q)∧q)p
肯定后件式 有q必有p
((p q)∧p)q 肯定前件式 有p不必有q
((p q)∧¬q) ¬p 否定后件式 无q不必无p
根据pq等值于qp, ¬p¬q 因此,两个有效式相当于 ((q p)∧ ¬p ) ¬q ( ¬p ¬q )∧ ¬p ) ¬q
1,2
3,4
结构:只有p才q pq 自然语句:只有,才;除非,不;没有,就没有
例析 “只有一个人年满18岁,他才有选举权”
情况组合
符号 命题真假
1.年满18, 有选举权 p, q 真 t
2.年满18, 无选举权 p,¬q 真 t
3.未满18, 有选举权 ¬p,q 假 f
4.未满18, 无选举权 ¬p,¬q 真 t
1,4
2,3
结构:若p则q pq 自然语句:假使,那么;倘若,则;只要,就;要是,就;
当,便;一旦,就;如果,则
例析 “如果一个物体摩擦,那么这个物体生热”
情况组合 符号 命题真假
1.摩擦 , 生热 p, q 真 t
pq
2.摩擦, 不生热 p,¬q 假 f
tt
3.不摩擦,生热 ¬p,q 真 t