     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
* F+ k ^. P" w; w# |' C3 S% OP --> Q, 因為 P 所以 Q
1 G: u/ k5 Y) q7 D7 {
4 P6 O% m* V' g1 D$ G& k8 EModus tollendo tollens% g8 J8 h$ e' }: J9 Y
P --> Q, 取得 ~P 所以 ~Q
2 H1 ?5 h2 Z* i1 F F$ X' m+ N# ?6 R) V" u* S8 l
Disjunctive syllogism# ]+ |; }* l/ L5 F0 H3 Z
P or Q, 取得 ~P 所以 Q& E* S$ m" S& @, k6 K% n
P or Q, 取得 ~Q 所以 P
% i, B2 h8 K5 E. h1 L: Y; M# O) B1 a( j- F) h+ H4 h1 } x# N
Conjunctive syllogism Z& P o5 j# d; t2 o6 t
~(P & Q), 取得 P 所以 ~Q# d+ q& T" z+ e; K0 B- }/ T
~(P & Q), 取得 Q 所以 ~P
6 u2 a9 n G8 T
0 ~1 H2 ]) [1 m$ D& E% _: NHypothetical syllogism
, N6 W# k3 v. v$ ]P --> Q, 取得 Q --> R 所以 P --> R
, e. n" E* `; A
0 @4 N5 o! X* S3 k. fDe Morgan's theorem
/ d$ {/ A* X* e1 d; v~(P & Q) 所以 ~P or ~Q
8 c+ ?4 `, S( w ]+ L~(P or Q) 所以 ~P & ~Q |
|