|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
6 @; {: j' n+ aP --> Q, 因為 P 所以 Q* i7 v& x7 {! ^/ J. l
+ i" W5 E1 f$ M) ~7 x( d
Modus tollendo tollens
* N; e$ D# E# QP --> Q, 取得 ~P 所以 ~Q: _8 M2 a# T% K( B5 I* Q
3 T4 ~; K$ R; l+ ~Disjunctive syllogism( U p |+ `6 R" C1 A* Y
P or Q, 取得 ~P 所以 Q4 J7 Q% Y3 R5 ], D
P or Q, 取得 ~Q 所以 P- S8 Z# ?8 m7 t* E) k- x* b9 r
4 a1 ]. b. ?% X$ d; \4 d# xConjunctive syllogism
& s0 n8 l0 p) }! s: T9 ]$ o5 |+ O~(P & Q), 取得 P 所以 ~Q
: P. C0 F3 [! N( p6 S# A~(P & Q), 取得 Q 所以 ~P
5 H6 @0 ?. c, W6 z: t; M0 L+ t- N& g' p/ g9 O1 N
Hypothetical syllogism; e2 S5 C: p$ Z# U# s
P --> Q, 取得 Q --> R 所以 P --> R2 f: D0 F! X+ \' W
* _( p/ E- z. \7 R A! q) y
De Morgan's theorem
$ E* r# q5 t3 P' w1 n~(P & Q) 所以 ~P or ~Q
% f) Z+ t7 B' J8 y' b~(P or Q) 所以 ~P & ~Q |
|