|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens- g. B! J* J- W/ K
P --> Q, 因為 P 所以 Q4 g- d0 V& B& N2 W
0 L8 d% K1 C. x$ N4 a5 ~) n8 F
Modus tollendo tollens
3 w5 g3 O- r$ n c2 z* vP --> Q, 取得 ~P 所以 ~Q. p% C W8 S0 L- s/ _% o
. d( d+ P% u/ eDisjunctive syllogism
6 k7 m5 R* g$ _3 i( S0 `5 oP or Q, 取得 ~P 所以 Q; ]! x* j' G6 s/ T b% j' g$ y" k
P or Q, 取得 ~Q 所以 P
5 |, t0 F( [7 R, C- E9 `' C! U- c$ \& D8 X% t
Conjunctive syllogism) |1 f, w* S4 L4 o8 I4 }
~(P & Q), 取得 P 所以 ~Q' k7 C" }6 g7 E0 P
~(P & Q), 取得 Q 所以 ~P4 | d' j7 _) ^
# ^* s$ _. |6 cHypothetical syllogism: i9 b% y7 t+ ]3 L+ p8 I5 A9 @
P --> Q, 取得 Q --> R 所以 P --> R
/ `# a; U" n+ |$ q v+ y8 x) S7 b( v
De Morgan's theorem2 [5 e, y. J2 a; K7 E a3 D, P/ r$ k
~(P & Q) 所以 ~P or ~Q
; D4 i7 L% W) {$ l1 v~(P or Q) 所以 ~P & ~Q |
|