- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens+ p8 {. @# X5 n, m) Q
P --> Q, 因為 P 所以 Q
! r9 `* s. F, O# Z2 t6 x9 e4 P) f3 \ \2 j
Modus tollendo tollens5 N _' K0 G9 w3 u) d& s
P --> Q, 取得 ~P 所以 ~Q
( ]- s! \* O1 u, r2 _
9 G: t7 ]/ Q0 k! l+ M$ CDisjunctive syllogism
$ m( c9 ^1 s3 AP or Q, 取得 ~P 所以 Q
$ M4 I) s/ o [0 mP or Q, 取得 ~Q 所以 P
* ^: A0 z2 Q$ _' _! F0 R/ F3 U2 U1 G% E
% G2 A2 ]7 Q2 N8 x3 b. w5 N7 [, tConjunctive syllogism. P' i2 N$ P7 B
~(P & Q), 取得 P 所以 ~Q
( J; @! O! a+ ~~(P & Q), 取得 Q 所以 ~P
& u! Y$ `# X7 d# \7 {( H! S* L
4 a6 R$ R3 Y* V6 w& W, Q) VHypothetical syllogism0 p. u5 G8 { e, @4 L1 K3 b
P --> Q, 取得 Q --> R 所以 P --> R
z" T& W# ]0 G3 ?
6 D* ^; B ~- d7 t0 `0 l' vDe Morgan's theorem
4 s% z1 K" ^& r0 D~(P & Q) 所以 ~P or ~Q
& k' {2 ~7 R8 h4 a P~(P or Q) 所以 ~P & ~Q |
|