     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens! i' X4 T4 f0 Z% o( f9 c6 L
P --> Q, 因為 P 所以 Q3 h: k9 E( t9 Q0 z& a5 X( Z
h" }' V5 I0 T0 {* u0 z4 g, y
Modus tollendo tollens
- t1 L M; @ a3 l5 v" S' V8 J/ dP --> Q, 取得 ~P 所以 ~Q4 P; c- d6 d; {1 N1 ~
0 t+ @$ o! e6 F7 ^3 o6 }" R" K
Disjunctive syllogism& b/ U- H: t: t
P or Q, 取得 ~P 所以 Q
1 T9 a3 J H5 c- x1 `/ K$ fP or Q, 取得 ~Q 所以 P. @/ @8 O- f' Y* c2 I+ g
2 D9 M5 o/ X* u1 R2 a" Z% ~
Conjunctive syllogism3 U& H( \- \, Q5 j$ U+ O) Z% z
~(P & Q), 取得 P 所以 ~Q" e& \9 D a; V2 \
~(P & Q), 取得 Q 所以 ~P
, Z& ^/ ~7 g- c' ^0 I- ~; h; i: f0 w3 G; `. w$ C5 ]* f
Hypothetical syllogism
" F' O$ B& u3 }" \P --> Q, 取得 Q --> R 所以 P --> R5 r9 d* D/ F: R V. c. ~0 R6 v
1 Y! g0 g- @* e b3 [, b% PDe Morgan's theorem P3 ~& ^6 e5 E6 I7 c; Y; f8 j
~(P & Q) 所以 ~P or ~Q2 }3 \* r9 l, @0 o4 x2 E; T
~(P or Q) 所以 ~P & ~Q |
|