|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
6 x8 I6 H) x, r4 i" FP --> Q, 因為 P 所以 Q9 P, P" A. F) L. ~
* G% f5 M; C: ^6 }Modus tollendo tollens$ |1 w6 x, C) {) g1 x1 l
P --> Q, 取得 ~P 所以 ~Q
+ z: G& e& X9 P' g
. O7 I" m* W* W3 RDisjunctive syllogism
* H' j, F. t; pP or Q, 取得 ~P 所以 Q
2 o$ h1 t, n, a1 ~$ lP or Q, 取得 ~Q 所以 P
: U T; c, q7 j" s" U- g* h# q2 X+ K7 S; R# ^6 E) z2 A3 w. z
Conjunctive syllogism) q2 i2 s( F0 I# T& v+ X4 u
~(P & Q), 取得 P 所以 ~Q# e& q D( I3 r5 E9 m4 k
~(P & Q), 取得 Q 所以 ~P
2 |* o0 Z; b0 Q4 n! Q! a* x r% q$ F2 }/ \# d3 x) u
Hypothetical syllogism X$ t3 `7 r3 e) D- s! Q
P --> Q, 取得 Q --> R 所以 P --> R
" i3 d3 W2 G! c# @7 Y; G
4 U, ^' t8 U, S( `; |( C4 SDe Morgan's theorem" E( h3 k4 t& q+ {! P. Z
~(P & Q) 所以 ~P or ~Q
3 w0 T" P3 _6 _5 |/ V~(P or Q) 所以 ~P & ~Q |
|