     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
6 j- W+ r$ [ ^P --> Q, 因為 P 所以 Q* a, F3 ^" ~2 C" H! i
$ V& ?- l! F/ n3 VModus tollendo tollens
3 H$ k8 \( v% V2 KP --> Q, 取得 ~P 所以 ~Q6 F; k! y3 g) l$ t* s
5 r% \( f* q- j1 J/ Y$ cDisjunctive syllogism
& M6 K+ W4 ^3 TP or Q, 取得 ~P 所以 Q. O2 o) y! s0 D
P or Q, 取得 ~Q 所以 P
6 j" H) Y, G. j) H' T4 B
+ M3 ~+ A H/ ~& x9 tConjunctive syllogism
+ |! y$ V m3 S1 j6 G. I~(P & Q), 取得 P 所以 ~Q
! V$ K4 j' ]# a9 v~(P & Q), 取得 Q 所以 ~P
7 J. n% a w8 H6 x' o" G
, @9 e7 A4 n/ v k! NHypothetical syllogism
6 r' Z ^% q9 ]& z h( F+ Y; V4 H6 wP --> Q, 取得 Q --> R 所以 P --> R
) Q# S; f' a) A- v7 e
) I( i( m/ f+ _# H, @+ Y4 hDe Morgan's theorem" |$ Y7 s( L3 G' K+ b# K0 [; e
~(P & Q) 所以 ~P or ~Q
1 ?* A7 C) Y, d~(P or Q) 所以 ~P & ~Q |
|