|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
0 d& `/ g- \& [. ]9 AP --> Q, 因為 P 所以 Q
9 ]' Z! j' Q* K; u' |- K$ h
: p2 |: y, E3 v/ ^2 _Modus tollendo tollens* f* x# R; r& ^$ p, y) D
P --> Q, 取得 ~P 所以 ~Q7 f3 N# Y& W7 T/ ~( k1 }1 O
6 R3 R: j' _& X( r
Disjunctive syllogism
4 b$ n! Z% O) h) z" u: PP or Q, 取得 ~P 所以 Q
4 M# M5 S+ ^3 k( D- `7 @P or Q, 取得 ~Q 所以 P& a3 i. d7 }9 Y0 \. M
! h1 p; t/ z2 b# z/ |Conjunctive syllogism
7 f" f& P: }7 U" C~(P & Q), 取得 P 所以 ~Q
- J2 Y! R! h" e: f; Q" k4 Q~(P & Q), 取得 Q 所以 ~P
7 N" ~- _* \% `8 D1 P: c1 v f! p1 J/ T
Hypothetical syllogism) I2 G/ Y* \- c! C; Z6 T
P --> Q, 取得 Q --> R 所以 P --> R2 C- @! N u2 k2 O. w
. ]+ o" S9 ?& Q& fDe Morgan's theorem
4 D! n7 D# m% b~(P & Q) 所以 ~P or ~Q
]9 u8 ]8 J, F7 x2 `' [' Z~(P or Q) 所以 ~P & ~Q |
|