|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
! j3 F2 T! C8 ZP --> Q, 因為 P 所以 Q
2 F* q( J" c4 l8 ~2 x5 r% }/ A, i" r
Modus tollendo tollens
4 Y8 i. a/ ~$ ~2 p9 ? nP --> Q, 取得 ~P 所以 ~Q B4 w* \8 b; {) B. x
( D/ L; B# ^4 w1 [ {& EDisjunctive syllogism7 M. ?( B9 |3 Y& |
P or Q, 取得 ~P 所以 Q; a" g$ C9 r% p s7 Y
P or Q, 取得 ~Q 所以 P. J/ J0 V( {: x2 C
' S: u, ]0 C M, E
Conjunctive syllogism8 q1 }' E6 o. ~
~(P & Q), 取得 P 所以 ~Q4 J3 `9 s6 X' Q9 z8 T; t
~(P & Q), 取得 Q 所以 ~P
. c3 I7 E+ J! n9 G% G8 d2 L. S* f4 z @
Hypothetical syllogism
3 t9 ?, D! m/ FP --> Q, 取得 Q --> R 所以 P --> R
7 G7 b+ l- q! w/ b( V
5 `& M6 x: }/ _2 T' [9 xDe Morgan's theorem. g. c6 X& ?" m" U7 F2 v2 K. Q
~(P & Q) 所以 ~P or ~Q# j) m1 K4 G, V& q( Z
~(P or Q) 所以 ~P & ~Q |
|