     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens4 E' Z { p2 p1 x2 a
P --> Q, 因為 P 所以 Q9 \, l3 @" P9 A" D- y8 l
0 s/ h. f- Y0 U( u( T- s# i' m1 M) \, x
Modus tollendo tollens
% u2 }: g. Z% N2 L8 }; w8 UP --> Q, 取得 ~P 所以 ~Q) k0 f+ q7 F$ J. h" ?/ b2 n! S
% T; i- K2 P, ]9 m5 t8 ^ TDisjunctive syllogism
" M% S& c9 R; L! q5 PP or Q, 取得 ~P 所以 Q8 p8 H* Y8 [, H
P or Q, 取得 ~Q 所以 P
4 k6 ?3 y! Q7 T" @# \9 J
: C9 w& }0 t, t- S0 c& ?Conjunctive syllogism
4 ~- @: ]; M4 p~(P & Q), 取得 P 所以 ~Q2 K& o& T4 a, c) P% W; F! S$ B# H
~(P & Q), 取得 Q 所以 ~P4 n5 g& D- j$ i2 N) V/ B, O2 B: I
! y3 m( j8 ^/ h4 O& r
Hypothetical syllogism
* j- K4 E; q% @$ W T1 fP --> Q, 取得 Q --> R 所以 P --> R
* L/ ]/ ~3 E9 Q0 i' M$ E6 t* Y7 o, V1 I h
De Morgan's theorem& P8 [0 W* t) y' _' T% d; L
~(P & Q) 所以 ~P or ~Q
: R9 A) o- @+ S w" |( a~(P or Q) 所以 ~P & ~Q |
|