|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
" c6 X1 c+ K7 ~P --> Q, 因為 P 所以 Q% y" n. F' o. S, O
9 m7 E9 J) j" z: o+ _# l
Modus tollendo tollens
& ~5 b6 @! v) m A& sP --> Q, 取得 ~P 所以 ~Q0 ^' \& l4 q) u9 z% }
7 \3 g2 X: m* G% [% tDisjunctive syllogism
, R/ N1 Z+ _2 n- s1 Z1 DP or Q, 取得 ~P 所以 Q& H/ K1 C" m8 F$ E8 v( @
P or Q, 取得 ~Q 所以 P
$ m( t2 U% T, O% F0 B* [$ u+ Y/ l) O9 L4 O ^9 [4 @" M) |8 c
Conjunctive syllogism
( N( p& w5 _' _. b% M~(P & Q), 取得 P 所以 ~Q# a: Q+ J. y* Y, N% l
~(P & Q), 取得 Q 所以 ~P
& d1 F- Q1 j5 l; e6 u* W! D# w- A9 Q5 k4 s+ e$ I# X8 N
Hypothetical syllogism
. Q: K/ @% m+ }0 ? PP --> Q, 取得 Q --> R 所以 P --> R
0 U; ~2 H" X5 z, L+ z8 j/ T1 d7 j' s/ D8 v+ q- |0 |
De Morgan's theorem \5 H1 a& m/ e
~(P & Q) 所以 ~P or ~Q1 ~8 a8 D" b' T
~(P or Q) 所以 ~P & ~Q |
|