|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
5 ~, ?) ]( W2 c2 n4 FP --> Q, 因為 P 所以 Q5 X6 ?8 `/ e! O: L& r, j
0 T. n y3 O6 M3 ]9 v- @3 g' D( T' @Modus tollendo tollens
/ g- ^' {3 k4 K! y; A$ ~P --> Q, 取得 ~P 所以 ~Q
( }+ N# _. A) S! l, q3 d1 n( d1 [9 j) e# b0 }: k' C( o+ w9 [
Disjunctive syllogism/ V7 k" b6 W* c6 I" ] m
P or Q, 取得 ~P 所以 Q* A% D9 o! H/ V2 i/ U# z! |' z8 Q
P or Q, 取得 ~Q 所以 P# M4 U% ^* o6 H8 C i6 y, a
" u1 Z- _' Y1 F. W; }+ g6 R4 mConjunctive syllogism% Z& H5 Q/ K' e
~(P & Q), 取得 P 所以 ~Q8 H2 m' M5 L, d5 i" o! T$ [
~(P & Q), 取得 Q 所以 ~P
8 @5 b( I$ g V7 z6 D R5 T, I8 u1 A2 e9 L' d a
Hypothetical syllogism( H$ f& F7 a% M# h
P --> Q, 取得 Q --> R 所以 P --> R' K, r1 O+ _! `. a1 \
& q1 L: D( w2 L8 }$ A8 h; q! kDe Morgan's theorem& Z! a3 B s r, p: B
~(P & Q) 所以 ~P or ~Q, T5 L: k" f2 m& j
~(P or Q) 所以 ~P & ~Q |
|
