|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
5 B6 p. d& ~& e8 p3 ^% n, FP --> Q, 因為 P 所以 Q
# R. W. c6 c! G& B+ G. N
2 g/ a1 N2 ]3 }. GModus tollendo tollens# q5 i! I4 F' S: h9 _' Q
P --> Q, 取得 ~P 所以 ~Q
+ Z* O! O; L" i# N( t H1 t5 T" y% x/ l( j: d- a8 q9 h
Disjunctive syllogism
. z, N8 z2 k* |$ pP or Q, 取得 ~P 所以 Q
- d b _1 p, c$ X0 d# ], R3 D n3 T' ^P or Q, 取得 ~Q 所以 P
+ B% z% j7 P) d# H( @& S* a+ T I, ?9 p# s, m* n
Conjunctive syllogism
$ P& y x4 n" f% g! W! B" O' K~(P & Q), 取得 P 所以 ~Q$ D) |+ \, x4 l7 b1 ~) y* }7 v
~(P & Q), 取得 Q 所以 ~P
" @- s' G; t6 g/ l" ^+ l$ w2 ~; p$ @; N0 X/ |* d% K2 @/ |
Hypothetical syllogism. O. h% P7 p4 a
P --> Q, 取得 Q --> R 所以 P --> R) a) ?/ Z6 k9 Z
% D+ W) q, |/ W) T% s0 Z1 E( L
De Morgan's theorem
1 V% _% R2 Y4 A# i~(P & Q) 所以 ~P or ~Q
) C; D2 i+ P A~(P or Q) 所以 ~P & ~Q |
|