|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens, Y6 s" e( M$ I- i( e t& z
P --> Q, 因為 P 所以 Q! U! d! ?# H1 j" }4 p* z3 ?7 s7 `
5 k" p' E ] c, B' ?( K
Modus tollendo tollens
0 U, A+ R, @7 d' T2 h" QP --> Q, 取得 ~P 所以 ~Q
. C3 C* i+ l* A" T! u( W) H( g9 [/ v
5 [' ~( R" z% X2 M H# jDisjunctive syllogism L& Q1 V* u& G7 |2 T
P or Q, 取得 ~P 所以 Q
& L( s- ?& K$ m1 q9 LP or Q, 取得 ~Q 所以 P
7 Y/ y4 H7 N8 v2 Z* P$ Z. I9 y7 N8 _
8 P5 g) G# o5 |5 |2 _Conjunctive syllogism8 _: o: W& K2 H+ o; J
~(P & Q), 取得 P 所以 ~Q/ F3 w6 p( @9 ?3 L
~(P & Q), 取得 Q 所以 ~P- S& Y1 s+ [$ `1 O, N" L
& _* w7 }; _6 f6 W5 }6 w. lHypothetical syllogism; Y2 c" u3 ?# f3 V3 }$ L$ m# R
P --> Q, 取得 Q --> R 所以 P --> R
7 _0 F& ? Y2 s t6 M; E- W
* \8 i5 ] R7 q' f/ l% o2 ]0 BDe Morgan's theorem
5 l+ V4 P) e" p' Y4 A7 [: b~(P & Q) 所以 ~P or ~Q
/ ^6 f$ [/ D- A~(P or Q) 所以 ~P & ~Q |
|