|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens: W& i$ _3 C( c. Z
P --> Q, 因為 P 所以 Q
* y, Z2 W/ e! F8 |
3 _5 I$ q) @( o V3 xModus tollendo tollens
3 n' E$ k6 W# H9 J7 bP --> Q, 取得 ~P 所以 ~Q
$ \/ H* o5 V" N: m8 b" m- S9 H
5 {+ B# H$ W; r( [; CDisjunctive syllogism
, L+ [# q3 X8 jP or Q, 取得 ~P 所以 Q, @3 b, x* x3 i! t
P or Q, 取得 ~Q 所以 P! F( V B) H3 X" g
X5 D2 u R! ~, t
Conjunctive syllogism
5 P3 }; B8 g j2 i) m~(P & Q), 取得 P 所以 ~Q
$ D# j7 j- j7 L, x1 y~(P & Q), 取得 Q 所以 ~P
4 a7 L+ [+ s1 a: O
& N, j* z1 l! }Hypothetical syllogism/ g/ ^* p* k4 I% j* B
P --> Q, 取得 Q --> R 所以 P --> R- c8 ~0 j6 F, h3 ~" s' K
# e8 u( ~) r4 s3 w7 d
De Morgan's theorem
9 m/ x$ t p! |~(P & Q) 所以 ~P or ~Q
( z+ U5 L. ` `" C5 M~(P or Q) 所以 ~P & ~Q |
|