|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
' q8 e9 T1 }# j; N: aP --> Q, 因為 P 所以 Q
8 R) \7 s% @4 O0 v' K. Z7 d5 k; N, N4 A; f, d
Modus tollendo tollens
" O3 M! Y+ z& d+ R; P6 r/ @: cP --> Q, 取得 ~P 所以 ~Q9 `$ `( `9 v- y
, f& X$ f7 S" @: NDisjunctive syllogism6 d/ e* r5 K# ^ |3 l
P or Q, 取得 ~P 所以 Q
3 l& s2 [( M$ v9 l. W' A, v6 [2 tP or Q, 取得 ~Q 所以 P* R4 y+ J' K9 p# c* k: w
; S0 P1 R# S% `8 cConjunctive syllogism
2 q- M. T: Y5 Q. c+ T~(P & Q), 取得 P 所以 ~Q
3 d9 M+ O: `! D0 \5 T~(P & Q), 取得 Q 所以 ~P2 Z( e: {4 x2 ^# M
# j q3 f! J/ L, XHypothetical syllogism& z9 `# w) L2 _8 t0 O0 D
P --> Q, 取得 Q --> R 所以 P --> R9 A& Q+ ~/ Y0 _9 V. j- C# u" ~# H
! b. z8 Z3 p+ f3 ZDe Morgan's theorem& ^' g' A6 Y+ s3 m/ v) u! M
~(P & Q) 所以 ~P or ~Q+ X: E) R7 J. s, K: x7 d( b
~(P or Q) 所以 ~P & ~Q |
|