|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
. q Y1 |5 y3 iP --> Q, 因為 P 所以 Q+ f$ T3 N! F+ h4 m6 a
( D( j. o6 ^9 n, p6 c4 rModus tollendo tollens
2 d$ N: J# R/ e3 U {P --> Q, 取得 ~P 所以 ~Q) A- n5 c U! T$ X9 X
M4 a+ A$ u5 o$ A# |* VDisjunctive syllogism
0 [& ]2 z* ~4 o2 S2 mP or Q, 取得 ~P 所以 Q
, {' ?" r4 g3 A$ B |6 qP or Q, 取得 ~Q 所以 P
6 p* I4 Q$ m3 X) J
0 K, ^7 K+ t6 h) A1 |3 s3 e* cConjunctive syllogism
$ t9 b1 }+ N W~(P & Q), 取得 P 所以 ~Q
# R& r1 ~. X9 G2 Z: B5 h' s~(P & Q), 取得 Q 所以 ~P) Z r; T* y. y
. r4 L6 J* O2 h0 G T& E" {0 xHypothetical syllogism
+ n* c( h. C: b- d( W2 T% s- b! H: e9 tP --> Q, 取得 Q --> R 所以 P --> R4 u( m* x: q9 U& t: I
5 X( u4 l0 W4 }1 c* CDe Morgan's theorem( K7 h! U2 U7 I
~(P & Q) 所以 ~P or ~Q ~' B8 T$ A5 n. V
~(P or Q) 所以 ~P & ~Q |
|