|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens3 a: x% J9 ~5 o5 }
P --> Q, 因為 P 所以 Q
( z' y. g( Y, {0 k
0 K9 |$ I8 ~+ H2 n/ Z2 LModus tollendo tollens
`; {2 C% x4 x2 d( o# B6 tP --> Q, 取得 ~P 所以 ~Q
( b+ B" ?* X Z0 u% {6 c1 N5 V4 y6 X2 E6 p8 Q" T/ Y4 L7 K- r
Disjunctive syllogism
8 i. I% c4 K1 w5 U1 I/ ZP or Q, 取得 ~P 所以 Q
5 Q' z7 f d: Z; ?" }& I6 C4 j' iP or Q, 取得 ~Q 所以 P2 x# V7 |$ q3 F) \3 f6 z8 R5 W: U/ B
8 V2 R9 K+ g M! vConjunctive syllogism% ~* f/ h2 T, p% _2 h- s
~(P & Q), 取得 P 所以 ~Q5 e, a8 ]2 \4 T& d5 c T+ E$ O
~(P & Q), 取得 Q 所以 ~P+ w- |: J9 l1 j, S9 @
8 \8 ~8 ~- _) ]- p3 [* [Hypothetical syllogism1 T9 Y, x6 z6 Z" z
P --> Q, 取得 Q --> R 所以 P --> R6 T7 N$ p! L: s; [1 z/ P
' [4 h# Y5 n, u1 ]+ s, o: f
De Morgan's theorem9 j$ _6 E( |( o5 E- E: z% o1 d
~(P & Q) 所以 ~P or ~Q
( t. |' z4 `9 l6 h: P; |, m~(P or Q) 所以 ~P & ~Q |
|