|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens. l4 L/ {/ @5 G9 E/ B/ k
P --> Q, 因為 P 所以 Q4 U/ P( E# q. {/ Y9 O* P/ C* `
: \( q% J- f/ \4 _
Modus tollendo tollens
* g% Q7 V$ \* k1 _" a% @6 vP --> Q, 取得 ~P 所以 ~Q4 N: P# O" d0 Y& r7 k4 G3 ~
6 _+ m0 {7 g! L. UDisjunctive syllogism9 E4 [% m K1 i2 N: W3 C4 j
P or Q, 取得 ~P 所以 Q
$ `; D$ L5 y, zP or Q, 取得 ~Q 所以 P
8 T+ n' e/ T; y/ i5 v8 r: s# J* J4 r6 T) p; }/ {5 Y. H
Conjunctive syllogism
8 ]$ p9 a$ G" z; i9 l* m- S~(P & Q), 取得 P 所以 ~Q* G- e _) }+ v: Q7 o
~(P & Q), 取得 Q 所以 ~P: o+ f, }. k( F0 [% Q
f+ F" i& P) E7 V! W8 V8 D
Hypothetical syllogism
z' p2 X8 `* qP --> Q, 取得 Q --> R 所以 P --> R
& T! T8 t8 z# H# T: f, a, n k* o) a. C7 f; s
De Morgan's theorem/ \; y( @2 _$ \! d! T+ C
~(P & Q) 所以 ~P or ~Q
. M H8 d0 V, }, m: a* S2 D~(P or Q) 所以 ~P & ~Q |
|