|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens0 G5 ?! v2 T4 o8 f
P --> Q, 因為 P 所以 Q4 \+ f9 g0 A! s0 h; |9 v1 H+ P1 m
) D0 f2 r3 a% T l' {, nModus tollendo tollens6 F0 l3 l) ]" y5 h9 M
P --> Q, 取得 ~P 所以 ~Q! @9 o3 p# s# a
- Y4 v6 \9 W7 mDisjunctive syllogism
3 f& y3 U' [1 q t/ d/ xP or Q, 取得 ~P 所以 Q
7 |+ s, q: {; ^3 E r% [$ SP or Q, 取得 ~Q 所以 P
' n2 ]9 s+ C; l
- o }- e. j* K* U, cConjunctive syllogism( P5 Z0 n% q3 X9 b
~(P & Q), 取得 P 所以 ~Q4 F. j1 i: T$ i1 C6 V
~(P & Q), 取得 Q 所以 ~P# U& Y- z, D$ w" p: J
0 L" p' [( Z- X, vHypothetical syllogism
# L+ I* v- x& m. l+ mP --> Q, 取得 Q --> R 所以 P --> R
3 N+ R5 i$ Q# ^' p2 L1 ^8 P
, c# A% Z# i) p' VDe Morgan's theorem$ G4 ~' |1 ^9 `% ~/ ]! Y8 V) W
~(P & Q) 所以 ~P or ~Q
4 `3 w. s$ g+ ^6 |~(P or Q) 所以 ~P & ~Q |
|
