|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
$ K* t) k2 H% T+ o& uP --> Q, 因為 P 所以 Q
, g' Y% f; Y/ f6 o" g
6 i! ^5 _4 j* `, n9 E2 |% GModus tollendo tollens3 @. [) J6 p9 K# y
P --> Q, 取得 ~P 所以 ~Q
# n/ w( \8 {* o( e1 @5 P& N+ ]) u6 k# O. e) @9 J% \
Disjunctive syllogism( W: R( x1 [8 I2 P" |2 l0 K
P or Q, 取得 ~P 所以 Q' u. O; t- |4 _0 y
P or Q, 取得 ~Q 所以 P& t- T! W1 H4 R6 ?
; Q) H3 c9 }+ U/ v& t" u/ P' \3 G
Conjunctive syllogism
$ e) B4 J* s" ^$ @; r3 o; {~(P & Q), 取得 P 所以 ~Q) D; C1 J ]& j* n, k2 a
~(P & Q), 取得 Q 所以 ~P
( }3 t2 R/ \" v/ w0 a- F% n$ Z1 N" s6 `/ T
Hypothetical syllogism4 c: d- x: ~5 K0 A9 b3 b; Z
P --> Q, 取得 Q --> R 所以 P --> R
8 s7 H4 i! I# n' k7 U0 j
) ] ?% i/ u" b/ u4 B7 y2 ^9 bDe Morgan's theorem, ?* X* |2 }/ f6 @+ ?
~(P & Q) 所以 ~P or ~Q: H0 D! q- T o# r; w2 h
~(P or Q) 所以 ~P & ~Q |
|