     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
7 l3 E6 J3 }6 t: \ WP --> Q, 因為 P 所以 Q; Z% E( s6 x8 x& e
, j! X7 O8 K% Q4 LModus tollendo tollens* l- b1 r( Z/ a5 K
P --> Q, 取得 ~P 所以 ~Q, g' Y4 i# |7 Z
1 }3 |; U- ]1 f6 G r* Q# cDisjunctive syllogism! e( N7 ~" `/ }+ r& H; M
P or Q, 取得 ~P 所以 Q
$ l+ e( `) \- Y- h; xP or Q, 取得 ~Q 所以 P
0 {- o( I. I9 ?$ U0 u# Y4 u2 {
2 F3 Z. I! q T& C' T/ sConjunctive syllogism
8 K5 Y7 }+ T K2 k. e/ L~(P & Q), 取得 P 所以 ~Q
$ Q9 C9 f" b) k& v t' a~(P & Q), 取得 Q 所以 ~P, q; X& f3 d, H$ p5 N e
) t/ E$ U2 z9 y
Hypothetical syllogism! O: J8 c6 S) ^( t- V
P --> Q, 取得 Q --> R 所以 P --> R7 P8 a- ]6 h+ m$ Y! U+ M8 o' i. u
0 L& O$ ?4 v5 I5 `# |De Morgan's theorem3 H8 F* @; K0 w- G' E
~(P & Q) 所以 ~P or ~Q
% i9 R1 K/ P p5 j/ f~(P or Q) 所以 ~P & ~Q |
|