     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
6 F7 ]1 n; M) A8 RP --> Q, 因為 P 所以 Q
% Z3 I3 l5 [1 V7 `, L4 Z1 D p
9 a, l2 ]. u( _: z6 T1 DModus tollendo tollens
% R, ` m+ R& uP --> Q, 取得 ~P 所以 ~Q, C g+ g5 l* s0 k, e2 m( W
9 Q7 T; Z4 F) T# y5 t" k
Disjunctive syllogism) j6 q; S- X1 @5 x
P or Q, 取得 ~P 所以 Q4 Y4 B' b7 D& M/ Y" n5 o
P or Q, 取得 ~Q 所以 P+ y' Z, m5 I6 V' F* Z, N2 W
4 @6 k6 \$ d, W/ e: n3 X
Conjunctive syllogism/ C+ l" y9 V7 Q4 D" h
~(P & Q), 取得 P 所以 ~Q0 e$ X9 ?) Q" v: u
~(P & Q), 取得 Q 所以 ~P, @1 F1 h+ W) n" }5 [
4 X0 @3 V- A/ q u3 F! I6 c2 J0 b
Hypothetical syllogism6 Y1 k; z0 R) [; \
P --> Q, 取得 Q --> R 所以 P --> R
5 L' u+ w1 C5 W# c4 m0 g
- R! I" A3 ~! Q" ~: g: U% a1 S" zDe Morgan's theorem
: V" D2 v# I2 Z; t# k~(P & Q) 所以 ~P or ~Q
6 q0 N! H3 @: D, {) X~(P or Q) 所以 ~P & ~Q |
|