     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
6 g, s9 v& s- l, ?1 oP --> Q, 因為 P 所以 Q
4 s& O& H- l/ W: V2 @+ Z1 o' u% S3 `, K6 J) R9 b
Modus tollendo tollens
8 Y& L& Y6 u4 y- c$ s* w. OP --> Q, 取得 ~P 所以 ~Q
9 f: |1 m" S3 J1 u
8 g+ P9 K( ?: D8 b# kDisjunctive syllogism
, k, T& ]2 \- P" l4 L( v5 YP or Q, 取得 ~P 所以 Q
9 j8 M( F# E. b9 G. @. E4 pP or Q, 取得 ~Q 所以 P6 G+ L8 W' _$ L! @& Z) g2 g
1 z3 K0 ?3 S/ aConjunctive syllogism
5 z2 ?; r, u/ {. |$ I& h~(P & Q), 取得 P 所以 ~Q" O) b3 S% y; Z: B; C2 n
~(P & Q), 取得 Q 所以 ~P5 M0 \; ~$ z8 J% J* c2 \1 m
+ P* l0 K- t" d1 h9 Z' P5 ?
Hypothetical syllogism' f/ H7 L# D3 n: \: M* y! V W; ^
P --> Q, 取得 Q --> R 所以 P --> R, k! t( Y/ }* k0 U+ Y9 K
1 G" I, _5 ~/ A2 YDe Morgan's theorem
4 P9 N$ t; t0 C~(P & Q) 所以 ~P or ~Q, }9 |2 _6 K, w; O. k- \
~(P or Q) 所以 ~P & ~Q |
|