|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens# {5 H& K K, v6 g
P --> Q, 因為 P 所以 Q9 }4 @! `. Y# [7 ]* u
8 D3 ~' b- Q. ]6 q. O; _: D7 K/ U: R
Modus tollendo tollens: g$ K3 E3 n1 ]' R) H9 {' _, Y9 K
P --> Q, 取得 ~P 所以 ~Q- J9 O$ [' P. r9 S7 I
/ S1 y" [+ x5 e8 iDisjunctive syllogism
x( ^2 R) l& ~, g3 f7 ?0 W6 u- ZP or Q, 取得 ~P 所以 Q
7 [( r1 v' L& O* c( p- Z; r8 kP or Q, 取得 ~Q 所以 P
& X u% T- A. v* G, t$ b U0 A2 U$ `; }+ l. K1 \
Conjunctive syllogism) ]" T& E( g1 v T% z' h
~(P & Q), 取得 P 所以 ~Q% [0 n. Q) w1 k8 R, h& [1 H( w
~(P & Q), 取得 Q 所以 ~P
% V s @( [! z8 h' J- h U+ p& z* [4 |
Hypothetical syllogism6 V, \5 O, p" S7 Q
P --> Q, 取得 Q --> R 所以 P --> R
* h# |% P. j+ t, e3 [0 P$ m0 O1 ^. R- N0 ?' T) V
De Morgan's theorem
1 f0 U$ r/ V/ X; k3 u~(P & Q) 所以 ~P or ~Q9 Y5 k+ D# T) p: ~9 O, a5 O/ g+ @. B+ l
~(P or Q) 所以 ~P & ~Q |
|