|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
* `+ t: J y5 s5 d. Q$ NP --> Q, 因為 P 所以 Q
3 \0 s, Q) x9 s+ G( b: V
) q' T- \3 v! t Q+ j q2 u5 zModus tollendo tollens5 C p) n0 v. ~1 H) U2 K u
P --> Q, 取得 ~P 所以 ~Q. A& ~2 f1 C7 c- F5 m
$ B1 R7 K: h: b$ W Y( u
Disjunctive syllogism t8 P" ~6 u9 B5 i4 r" f
P or Q, 取得 ~P 所以 Q% H5 d8 O0 g/ Y
P or Q, 取得 ~Q 所以 P+ f1 X2 e A$ p% `
- I v+ W |0 e5 j) m4 _
Conjunctive syllogism e. e# e# r5 W" l# U! q7 z) _
~(P & Q), 取得 P 所以 ~Q' V/ @. |; I. u8 O% v- R. Q j6 d
~(P & Q), 取得 Q 所以 ~P
* j" K! V. _' X; r# i6 y
: V7 S9 L) ~% `2 AHypothetical syllogism6 o+ ?, A5 J3 P# ~4 ?+ L* [
P --> Q, 取得 Q --> R 所以 P --> R; a' ^. v% R2 x0 z& q
4 L8 Q% N2 \ Q, C( q% SDe Morgan's theorem5 W, E/ d8 s% T7 h. q0 \* \
~(P & Q) 所以 ~P or ~Q
- ^2 U7 p- c. O~(P or Q) 所以 ~P & ~Q |
|