     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
' _+ G' a& d0 X6 b: Y4 \P --> Q, 因為 P 所以 Q& m4 c) z- @* s: e
2 n) \' U2 T. ` q: n1 k
Modus tollendo tollens
% L; g& i! p" H0 d- z( mP --> Q, 取得 ~P 所以 ~Q
& q/ S. {; _3 k) z& P$ T% @: e& ^1 k) v9 K% D$ v& R/ ]; d2 E7 e
Disjunctive syllogism
( O$ a; {( e, k" d5 U, [1 o+ aP or Q, 取得 ~P 所以 Q( v4 f) m9 {2 E! D `
P or Q, 取得 ~Q 所以 P' r/ n6 u6 C; {4 Q3 y1 r3 z7 O( t
- j. M4 }/ H ]9 ^# r6 i# h7 c
Conjunctive syllogism
0 @# \! g8 n9 \~(P & Q), 取得 P 所以 ~Q
! H& [1 q$ k1 Q( e9 e~(P & Q), 取得 Q 所以 ~P; x3 S9 [4 L4 B8 @
: X3 {" q, @$ g" F) U# S
Hypothetical syllogism. b- \ A6 {3 W, M
P --> Q, 取得 Q --> R 所以 P --> R& m8 C/ w+ U0 D4 Z# R+ K
5 g) l# S: h) c5 x7 n8 f2 }De Morgan's theorem: F. b, ~# F' f+ o5 T
~(P & Q) 所以 ~P or ~Q
) h0 P- ~2 y0 l. D P: n~(P or Q) 所以 ~P & ~Q |
|