|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens+ o4 Z5 F# d O) u& F# }! ], d
P --> Q, 因為 P 所以 Q
$ ~: W7 I4 }, @
& j- o9 ?8 P7 SModus tollendo tollens
/ X( k- h1 v) s4 g4 RP --> Q, 取得 ~P 所以 ~Q
) M2 r0 }$ n4 w! Z( I
# m7 h7 C! k% j: D; z( }; yDisjunctive syllogism: z. F3 p5 P+ A* g
P or Q, 取得 ~P 所以 Q
! H1 R4 l/ ^0 |/ zP or Q, 取得 ~Q 所以 P# u& x3 a: i8 g6 R. D w y
4 |; @9 O0 C4 j3 Q! y
Conjunctive syllogism p( r+ @ j" G0 N9 g5 C
~(P & Q), 取得 P 所以 ~Q
! |! B U+ f! ?0 C2 Z~(P & Q), 取得 Q 所以 ~P
& }/ I" d' I8 K6 S9 L2 d
+ z5 q$ a% m5 e: U/ C F' [; PHypothetical syllogism' `5 _+ ^) { O7 H
P --> Q, 取得 Q --> R 所以 P --> R9 k l; l* I2 T$ M/ o
- U2 g( N0 Q7 ?9 n% M9 e* Q7 B* ~
De Morgan's theorem
) H. k, x1 {* u Q( g8 C~(P & Q) 所以 ~P or ~Q
2 `6 Z7 c: `, ^7 r~(P or Q) 所以 ~P & ~Q |
|
