|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
) d9 s. j$ y6 N+ K& f; @P --> Q, 因為 P 所以 Q: l: O4 E/ d; ?$ Z* l
2 n( V5 Y+ i1 D# U& {' IModus tollendo tollens
- x' y8 t6 r! D& M1 }P --> Q, 取得 ~P 所以 ~Q0 _2 T; \0 G, _, @
" ^+ r4 C* |) c: i1 R/ P& y
Disjunctive syllogism; `6 a: i" I/ G4 v' }7 B' v
P or Q, 取得 ~P 所以 Q0 ~, {# Y/ u* e: X: }/ e
P or Q, 取得 ~Q 所以 P
8 ?2 o) V- E0 j6 \. L5 C( T( q5 B2 s; Q0 h- T9 ], g/ T
Conjunctive syllogism
" Q* @8 ]* |9 f* n" h~(P & Q), 取得 P 所以 ~Q
9 f. t7 A5 ~" [~(P & Q), 取得 Q 所以 ~P' o5 A# g+ C5 p# l+ B3 x9 a2 L
, |& f8 _0 j, V. {: n8 B( AHypothetical syllogism
7 d* {. s' r5 a5 T1 HP --> Q, 取得 Q --> R 所以 P --> R# M4 g! K7 Q% J
9 d4 }6 m6 S" E, ]0 _. i
De Morgan's theorem
; V7 z4 x- s8 ^~(P & Q) 所以 ~P or ~Q
) p5 W6 H9 S" F7 ?- l) B% L~(P or Q) 所以 ~P & ~Q |
|
