|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
0 M* q7 [$ a, B! aP --> Q, 因為 P 所以 Q
5 I* p6 W4 v1 L" ~/ A/ o$ k e: J2 X: D9 ^
Modus tollendo tollens+ I! y1 g+ u: o; h; A
P --> Q, 取得 ~P 所以 ~Q
# A, q$ e- g' q9 s) e1 u& a# U
% @! R$ m0 _- u2 N9 h, a' l& {Disjunctive syllogism' `7 m' k" d- @/ F v$ o6 X
P or Q, 取得 ~P 所以 Q- y8 c4 |" _, n; U/ N1 d1 J
P or Q, 取得 ~Q 所以 P% i7 L/ R- [5 X" V B6 e, k) T
- R5 J* c$ ?3 zConjunctive syllogism
" [9 \4 w" I/ F G4 z( L* x~(P & Q), 取得 P 所以 ~Q
" u7 P& ~6 R, F4 E~(P & Q), 取得 Q 所以 ~P% a9 ~3 g2 B6 A4 B$ z+ ~! L4 w
# x+ J/ g/ A1 J+ ^) V7 ?Hypothetical syllogism4 k! V$ r4 ]; ?) ~1 U, e* B
P --> Q, 取得 Q --> R 所以 P --> R' s" _5 J& q, |
9 D0 c7 m; i3 }- ^8 D$ F$ b: BDe Morgan's theorem
7 J8 f6 s% T& y" z6 s, T~(P & Q) 所以 ~P or ~Q- u" ~* g' ?, d6 W" M# `4 V7 x1 j
~(P or Q) 所以 ~P & ~Q |
|