|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
( O0 h; Z0 ?* h; K7 O# t8 IP --> Q, 因為 P 所以 Q
' a; p. } s/ k* X6 r* g8 v
* f; V% e, ~; g. oModus tollendo tollens5 |" j2 O0 N' J1 ]
P --> Q, 取得 ~P 所以 ~Q' c: P2 K7 Y9 N W: y$ i
& |' ^6 [0 p0 B. q* J. G; dDisjunctive syllogism
) I ]4 q, E7 dP or Q, 取得 ~P 所以 Q
t2 h0 `# ^# I; `1 d. oP or Q, 取得 ~Q 所以 P" b) J3 F4 d1 k% q% P
, u/ h m2 I2 D9 J/ m' tConjunctive syllogism: D$ w/ x2 L! z" l
~(P & Q), 取得 P 所以 ~Q5 e. k- f7 K' [7 z2 x
~(P & Q), 取得 Q 所以 ~P
) n( l( |' `5 V; w8 ^7 `. C, V# D$ k% h7 o9 w+ \* G H; u
Hypothetical syllogism
- `: \" s1 K) r/ F% q3 pP --> Q, 取得 Q --> R 所以 P --> R, @" O3 q4 q/ j; w
7 t; D4 D4 P$ p! i) v7 j# }" c0 O+ YDe Morgan's theorem t- X: N1 w! q# O& N* M
~(P & Q) 所以 ~P or ~Q a, H: c. D# w& k, i
~(P or Q) 所以 ~P & ~Q |
|