|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
7 M% _# D1 E3 y4 c) p# BP --> Q, 因為 P 所以 Q
* E6 }$ I, m& E, p1 z+ R$ B# F' d6 G' t% h2 w- I* ^: a3 p
Modus tollendo tollens
4 g& r; Y! V8 A3 P+ ?P --> Q, 取得 ~P 所以 ~Q
9 g; @0 w; j2 [* W, @% Y9 c3 t7 q% d7 T% o+ w0 }
Disjunctive syllogism, D& t# [! F3 w
P or Q, 取得 ~P 所以 Q
/ N9 w7 Y! ]2 z( ]: L4 E$ OP or Q, 取得 ~Q 所以 P
* e/ t3 J4 U4 x- n# v& M, @9 n! }/ M9 ]6 L: Y
Conjunctive syllogism
* ~5 ]8 W1 m. k~(P & Q), 取得 P 所以 ~Q
0 [1 u4 u7 g3 w# ?5 h~(P & Q), 取得 Q 所以 ~P) T# ]2 D9 v6 Y: \; I( ?5 ]
% v2 v$ n7 b2 bHypothetical syllogism) \- t% w$ `' k; v g% p5 F$ d
P --> Q, 取得 Q --> R 所以 P --> R" K6 Y4 T8 m) R. ^; z
0 w3 }( K2 F( e7 k( O( jDe Morgan's theorem
0 s( {" p+ e! R5 h, P$ l# [% q. k~(P & Q) 所以 ~P or ~Q
, M' f9 N: x# O9 z+ C6 M~(P or Q) 所以 ~P & ~Q |
|
