|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens0 \1 c2 X- F, t5 p
P --> Q, 因為 P 所以 Q
- b- F: z0 F: H" H/ M) G/ n2 `
5 L, _. p8 R" ]& TModus tollendo tollens
9 k- m* M/ B* GP --> Q, 取得 ~P 所以 ~Q- B: n: j3 k, f8 O z
& I2 j2 A; D0 Q+ p/ h! VDisjunctive syllogism+ e L! d+ A0 h- R" W+ M
P or Q, 取得 ~P 所以 Q0 F- ~, e6 U9 c: R/ @
P or Q, 取得 ~Q 所以 P
; f, y" h: Y0 ^: r. H" U* C" s
& S1 e. j, h* |: ]1 ~# [ `Conjunctive syllogism' T# s5 E% `* ^3 U9 W" H
~(P & Q), 取得 P 所以 ~Q
7 I! Z* x2 N+ b~(P & Q), 取得 Q 所以 ~P
2 M: {2 I; `* \! e. j
: U. x S/ E4 { VHypothetical syllogism
2 O1 G0 |% v/ I' l8 KP --> Q, 取得 Q --> R 所以 P --> R+ f1 T8 a- D8 P0 P7 H2 J
6 G* Y- N7 m, @# _
De Morgan's theorem
1 |9 q2 G- O% C* d2 C~(P & Q) 所以 ~P or ~Q
- [# x' d8 A. T~(P or Q) 所以 ~P & ~Q |
|