|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens. c- V# z$ ~' v' c; Z0 |1 m
P --> Q, 因為 P 所以 Q
0 h. V3 T/ R" t1 [& w1 Y" _
, M% {4 {; j: l! s+ t7 lModus tollendo tollens2 R C7 @; n1 _- R% }8 K
P --> Q, 取得 ~P 所以 ~Q9 ~. O2 h9 t7 T5 o
% Z2 b5 F" l0 N. b# O. N4 c1 VDisjunctive syllogism
" N7 b8 Z$ d) N8 aP or Q, 取得 ~P 所以 Q, s7 c' o7 m- A
P or Q, 取得 ~Q 所以 P# f9 e/ r( _& H
7 m3 L8 B( _4 W- o( A
Conjunctive syllogism
0 r# a! E' F; j# U# t~(P & Q), 取得 P 所以 ~Q
8 P/ n- H7 v/ Y/ ]' D~(P & Q), 取得 Q 所以 ~P8 z- V- H! C0 X/ N
+ A( ^5 S+ b; ^$ m/ |Hypothetical syllogism! G0 I X4 X3 y) S0 _$ }
P --> Q, 取得 Q --> R 所以 P --> R
" s7 d+ ^9 j! \' ^2 I+ t! z( {; r/ X2 p( _3 Q/ @; b
De Morgan's theorem
8 n$ Y+ Q/ e7 [# D& B~(P & Q) 所以 ~P or ~Q+ P- C1 j* z/ ^( b1 h. L. i E5 l
~(P or Q) 所以 ~P & ~Q |
|