|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens+ v* u5 q2 P+ D% J
P --> Q, 因為 P 所以 Q
d7 _$ E2 k3 Q1 v7 ?0 G& p3 G' U/ z
# j" O& ~2 u, e# x6 R6 {, DModus tollendo tollens. a& h: [/ ]" @. ?. _$ n$ I
P --> Q, 取得 ~P 所以 ~Q" D0 s: X9 c% `. x6 f4 W: U1 _
, v* k" D& C& n' n/ i& i) }
Disjunctive syllogism8 R, d4 T5 ?+ ]8 o
P or Q, 取得 ~P 所以 Q
3 U, K" K1 r0 G) f+ s3 fP or Q, 取得 ~Q 所以 P! r& p; n ]: K' W! I; Y9 F f5 j
' P+ s$ _$ k0 x' A" wConjunctive syllogism& R3 z0 Y8 r8 T' r1 Q
~(P & Q), 取得 P 所以 ~Q
8 o( g8 R! S: v~(P & Q), 取得 Q 所以 ~P
+ L6 P# ^7 R/ t/ B' J) q5 v7 N" `
Hypothetical syllogism
& u$ E7 p, ` d6 J- nP --> Q, 取得 Q --> R 所以 P --> R, T: S9 L ], P! y$ Q" X
) p8 I& Y# _5 @5 h; s! A3 }De Morgan's theorem
4 ?3 T+ \( C2 I9 i" S~(P & Q) 所以 ~P or ~Q
9 l7 F9 {; ~9 A1 A) F~(P or Q) 所以 ~P & ~Q |
|