|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens# ]5 E9 C4 `9 a0 L; O) h3 e! {; d
P --> Q, 因為 P 所以 Q/ Y% d. E# ?# u4 ^1 B
x9 V: j: ]! e7 g u- IModus tollendo tollens+ e: P2 v+ s$ ]& V. l
P --> Q, 取得 ~P 所以 ~Q
2 K8 F% O) d4 g! d& a U; j. B% m0 v, f' ~: Z% f
Disjunctive syllogism) c3 \( J, j& V* @1 n$ E/ f
P or Q, 取得 ~P 所以 Q, y1 @( R/ i; p7 S
P or Q, 取得 ~Q 所以 P
! O* b% h4 {0 X" @7 N. I% B! J: H* m! ?2 _" p" _$ r
Conjunctive syllogism; `, d) D- }4 |
~(P & Q), 取得 P 所以 ~Q& B2 n& W W- F+ e N" {
~(P & Q), 取得 Q 所以 ~P7 W/ z+ X+ Q( [9 a' b
3 \ ?5 n0 v1 Q n1 r" G! f& f, gHypothetical syllogism
( \' {$ R. _- K' }! H% x+ q/ EP --> Q, 取得 Q --> R 所以 P --> R9 Y) N1 e3 t' P' ]; |
( W; H" s! K3 \) j& b, X$ J7 j
De Morgan's theorem" L0 R1 J' ^7 B) T" b
~(P & Q) 所以 ~P or ~Q; }9 D- I5 d; T5 V. z
~(P or Q) 所以 ~P & ~Q |
|
