|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
/ v) |; M' B( [P --> Q, 因為 P 所以 Q4 d$ l/ a Z4 ?. a
3 z6 ], T- _) I+ k- Q' S
Modus tollendo tollens
* m7 P6 Q& C3 h* B1 C, hP --> Q, 取得 ~P 所以 ~Q) h7 G8 l5 ?& N3 ~
3 ?0 K( S, b8 B! b3 iDisjunctive syllogism
# Z6 a/ J4 O0 P. BP or Q, 取得 ~P 所以 Q
- {4 i% _9 U4 r, ZP or Q, 取得 ~Q 所以 P! S0 n( \+ I% Y9 M1 d& ]
" N' y+ P! F+ \4 s5 N0 `! [
Conjunctive syllogism( i+ ?1 Y: n4 [7 H/ W
~(P & Q), 取得 P 所以 ~Q
, G! v; p0 k# n$ ^2 v: v~(P & Q), 取得 Q 所以 ~P
; f7 s6 n7 f% T0 R
& s P. a7 ?% |Hypothetical syllogism
9 U) o1 V3 s# B% r* j; AP --> Q, 取得 Q --> R 所以 P --> R, D; C1 O$ Q. Y/ K9 }6 I9 I% l
8 ]( a F/ D$ ~9 u2 z! i/ mDe Morgan's theorem1 l/ i$ E* z8 b7 y5 a
~(P & Q) 所以 ~P or ~Q7 a: A/ `! V! u, ]* {8 U
~(P or Q) 所以 ~P & ~Q |
|