|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
- m( j0 i0 U* |+ O8 BP --> Q, 因為 P 所以 Q
) G0 o8 n# `) w8 B) [; w9 k& d
1 P1 G, t4 U7 y( u9 N; G9 D/ n+ Z/ iModus tollendo tollens
! a9 a$ h1 {3 YP --> Q, 取得 ~P 所以 ~Q
, E$ t8 q6 f4 M4 }5 C8 _' B8 |! {$ g3 O3 u- B: @
Disjunctive syllogism: k" j4 H1 I7 m. l& l! g) _# ?
P or Q, 取得 ~P 所以 Q& K5 V' ~5 E, g/ L [0 r9 h K* y. o
P or Q, 取得 ~Q 所以 P
+ Y# D9 h: S( `1 u8 b+ U- ~( H
, H8 P: ^! j& w9 BConjunctive syllogism
# s( ^9 @4 h5 K~(P & Q), 取得 P 所以 ~Q( z: e6 f; O" D3 L& Y
~(P & Q), 取得 Q 所以 ~P2 c: [0 e) y& ^4 P/ u, i
3 d* v, j& N3 A& t4 P# qHypothetical syllogism
& ^6 ?& A6 U6 R/ b( c2 {P --> Q, 取得 Q --> R 所以 P --> R
9 T1 y! s& K0 d, G8 p9 o( M z- z Q# s4 O
De Morgan's theorem
i& V) A2 M) `$ T- I/ I~(P & Q) 所以 ~P or ~Q
( h2 }$ E: V' q" Y' I0 v2 C F~(P or Q) 所以 ~P & ~Q |
|