|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
1 [: x3 n+ S |) T( z. S0 l( FP --> Q, 因為 P 所以 Q
c% O9 l0 H0 ?8 g$ ^: x! B" {1 C: ]. N" K
Modus tollendo tollens
9 k" T4 C0 r# k E" ^1 NP --> Q, 取得 ~P 所以 ~Q
2 ~1 Z- @- U3 ~6 G! }
3 r1 s5 q: h9 [" x# g9 GDisjunctive syllogism
, z# b9 G' W5 O% SP or Q, 取得 ~P 所以 Q9 O5 p4 V- Y. j( R& ]1 b$ |* A
P or Q, 取得 ~Q 所以 P: k ~; H& z+ I! m3 o$ @
8 F1 a9 F) G: Q8 q5 H8 MConjunctive syllogism) _& F, |$ e. ^+ K9 i
~(P & Q), 取得 P 所以 ~Q7 B0 i( g2 E2 C' w5 ^5 N9 U$ J
~(P & Q), 取得 Q 所以 ~P# Q. v" I" N9 Z+ _ a
, s7 S1 _8 M h( k& V
Hypothetical syllogism
9 @! m4 }& C4 X I8 u2 H" zP --> Q, 取得 Q --> R 所以 P --> R) K9 s; L: ~: G4 y7 Y
/ R" M6 J2 ^! Q0 h$ d/ E0 _! N8 mDe Morgan's theorem' e1 T9 ]8 e# s
~(P & Q) 所以 ~P or ~Q' a$ [* c/ p H* o- o
~(P or Q) 所以 ~P & ~Q |
|