     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens+ d# O, j; u1 U# d: T( T
P --> Q, 因為 P 所以 Q5 u, n4 |9 ~3 g) T
2 ~- f; }+ _0 a8 `1 T
Modus tollendo tollens' `, m4 x: ~1 _! Z" y
P --> Q, 取得 ~P 所以 ~Q
. ^( l+ ]' i1 V6 b: h1 ^
& q5 d7 M$ t1 R5 {9 A2 x) g1 fDisjunctive syllogism# Z, Q9 ^7 V" F) Q0 `' i3 _: Y1 A( h
P or Q, 取得 ~P 所以 Q' |) s, h1 S( y' D9 o1 T* `1 n
P or Q, 取得 ~Q 所以 P8 l" B: b3 w0 L1 |
0 R- z+ |6 Y; a$ hConjunctive syllogism6 y, q! Y; d* z6 p
~(P & Q), 取得 P 所以 ~Q
3 d# k1 C; C* G: O~(P & Q), 取得 Q 所以 ~P
* L. e* U3 q( k5 Q
9 q* \8 D( R. O; l3 eHypothetical syllogism" B+ |9 Y) G' m* J5 g* u- f$ O
P --> Q, 取得 Q --> R 所以 P --> R2 H- y5 _! T" r1 j6 i% |
+ t- v7 r& }5 b/ j
De Morgan's theorem1 N4 ^4 u2 ^/ } Q. H
~(P & Q) 所以 ~P or ~Q
5 Y5 w& f/ i0 `! T" p~(P or Q) 所以 ~P & ~Q |
|