|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
' O* }% _& _8 g% C8 R7 i0 z! a% C0 eP --> Q, 因為 P 所以 Q$ \( O: y0 I0 x1 h
r) X1 _) S4 U/ @% RModus tollendo tollens) E5 _5 m& k I( `: r9 L# F
P --> Q, 取得 ~P 所以 ~Q
1 d2 {, G: i! W* {; C' b2 P
9 f3 e& D& ?. O9 h2 }+ ZDisjunctive syllogism$ ?7 B) S' F1 W/ B
P or Q, 取得 ~P 所以 Q
9 B6 m# H( O0 bP or Q, 取得 ~Q 所以 P
) U% V* s: I# ~8 m- F$ l
+ O6 m4 F3 A; Q9 DConjunctive syllogism1 S; W+ R8 b( B$ c J+ r. k/ H2 `5 E
~(P & Q), 取得 P 所以 ~Q
# a6 a' Y w, ~3 V; Y~(P & Q), 取得 Q 所以 ~P/ ?: V# |% O& Y' U
/ G/ f4 h+ s: m& o* L) ?9 [6 UHypothetical syllogism
4 v2 o2 \7 d+ hP --> Q, 取得 Q --> R 所以 P --> R0 U$ `! B3 C, _; F; |3 ^3 r+ d
& V8 m1 D3 k: {& R: a/ Z
De Morgan's theorem% o$ D J# @' E" a V! `
~(P & Q) 所以 ~P or ~Q0 x0 a3 _: u% x% T5 S9 |3 B' J
~(P or Q) 所以 ~P & ~Q |
|