|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
! c: z. { n6 i; `) VP --> Q, 因為 P 所以 Q3 E: h" `4 D5 W9 F+ R
. r: _+ i+ u" p2 h1 [8 dModus tollendo tollens! f5 U) I# y( }
P --> Q, 取得 ~P 所以 ~Q
, C& t$ ~; ?' O, i( p& ^% C$ q3 m2 z3 h1 a; _9 B) V
Disjunctive syllogism
3 q4 g+ F: h2 V+ b$ SP or Q, 取得 ~P 所以 Q
0 I4 g8 y8 [* w pP or Q, 取得 ~Q 所以 P1 U& J3 C, s+ P+ A1 {9 Q
5 @, Q/ j ?% [: y: o
Conjunctive syllogism) p1 d* Y4 F, t" I6 {7 N4 x9 }
~(P & Q), 取得 P 所以 ~Q; x2 S2 v5 G0 w* K9 K3 r) {+ X
~(P & Q), 取得 Q 所以 ~P
- o l, S. K5 z+ w% R- k" `9 _5 R( R: O
Hypothetical syllogism
# }' @! {% }: B* I' a' f |) m' t YP --> Q, 取得 Q --> R 所以 P --> R7 i7 u6 N( M7 b( W2 B
& J2 N7 i' b. z" J; kDe Morgan's theorem
; x; h( S, |! H; c4 p- I8 d9 v- X~(P & Q) 所以 ~P or ~Q6 j& x X8 N4 w
~(P or Q) 所以 ~P & ~Q |
|