|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens0 `5 ?0 A- Q3 q8 ?9 q3 }
P --> Q, 因為 P 所以 Q, F$ ~) x" E2 _: M, n
9 `7 _" Z' w) A! K* X9 }# P
Modus tollendo tollens
2 F. I0 H% s0 W$ P7 X3 DP --> Q, 取得 ~P 所以 ~Q
* _/ n2 ]6 s- ]% w9 ~6 p- x* q$ A, ?- }5 y* ?
Disjunctive syllogism
/ Z9 X: `. s- V' L/ y4 l8 A" R1 gP or Q, 取得 ~P 所以 Q/ v7 _ w% u! g( R; z
P or Q, 取得 ~Q 所以 P
+ P* V8 M- Y s% q: C. v& s2 b: ]' Z1 r' _8 z3 i. B7 u
Conjunctive syllogism
/ M* N! a O9 Y [~(P & Q), 取得 P 所以 ~Q( X/ u! ?8 [* x, b0 f% d, I
~(P & Q), 取得 Q 所以 ~P, ~ _1 }+ p& @8 W ^, T
; {) l# P6 [7 } GHypothetical syllogism4 i! I/ K5 k- ~. i1 C2 t5 M
P --> Q, 取得 Q --> R 所以 P --> R! x+ y" `4 _5 p; T* N6 z
# Y& E/ {( J" Q1 X" p1 R
De Morgan's theorem+ ?" ~7 W m* K8 N
~(P & Q) 所以 ~P or ~Q
- g% Z& S. H& e" T8 z~(P or Q) 所以 ~P & ~Q |
|
