|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
& B4 p* A; |7 j0 N7 r& W$ ]* P- QP --> Q, 因為 P 所以 Q
& r# w- E) O5 q
6 h7 v G; F% Q7 }% w7 ~0 F! }2 xModus tollendo tollens3 {6 C& N% W6 y Q; p1 c% ^ L
P --> Q, 取得 ~P 所以 ~Q* Q$ ?0 ~, M- p# _! S) c
. D9 ~9 I. [8 h3 M/ k4 @. rDisjunctive syllogism( f% u7 [ N, r) ^
P or Q, 取得 ~P 所以 Q. I1 l" M1 z7 C6 d% p. _7 t8 O0 Y
P or Q, 取得 ~Q 所以 P6 b( ?" O' Z( b9 H" o5 e V) [
4 ^1 g/ g4 `: v
Conjunctive syllogism3 s: Z$ V+ L! L r$ l
~(P & Q), 取得 P 所以 ~Q/ M( j( G# I' H* f6 t
~(P & Q), 取得 Q 所以 ~P/ |/ }6 M* N7 X1 G" m7 j7 n
: C! O) s4 V0 h* _Hypothetical syllogism
5 k6 E. v) p( d' Y7 m; V- ZP --> Q, 取得 Q --> R 所以 P --> R8 g. }: @8 W7 u! [. n: Q2 p- {- |
3 K, Q! J( q. P( M5 ~7 O( ~
De Morgan's theorem
) u( B& P& ?1 z9 Y~(P & Q) 所以 ~P or ~Q7 q b3 D0 l2 _' Y2 ^0 g
~(P or Q) 所以 ~P & ~Q |
|