|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
) ?' Y1 G, n/ I: y1 `" {P --> Q, 因為 P 所以 Q4 j# c0 b. f& D) o! o8 f- V) c8 s
1 }5 {& L3 P$ i3 T4 P3 jModus tollendo tollens) n3 |6 U- _5 @' M" Z
P --> Q, 取得 ~P 所以 ~Q
) {- N* w0 c" ?- o7 {$ X7 E% m. t8 z+ L9 n) ]' C( j& o, c
Disjunctive syllogism
v P |/ \% ]P or Q, 取得 ~P 所以 Q
6 r; w) W0 c8 o4 c3 ^* |P or Q, 取得 ~Q 所以 P
7 l4 ?: g; u4 M+ Z! h; I y# g! U. f! `9 b! E a
Conjunctive syllogism/ o* X5 A" ~: |2 f, k8 `
~(P & Q), 取得 P 所以 ~Q
& X# D, e3 I( N( L" Q~(P & Q), 取得 Q 所以 ~P8 {' ^: _* ]$ x/ T+ Z! t
7 v" p( S+ k/ ^1 p2 R
Hypothetical syllogism
3 p8 n, D- m0 D. b4 F* A0 y7 KP --> Q, 取得 Q --> R 所以 P --> R
, [! n1 n m# q9 I
% p' m2 r: n! C/ Y- D, Y# Z$ @De Morgan's theorem3 \3 k5 e, _) J) n$ l
~(P & Q) 所以 ~P or ~Q
, R: p$ Y8 C. q0 ]) L, V0 i3 ^. v7 i~(P or Q) 所以 ~P & ~Q |
|