|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
, I7 g' h# |% p1 gP --> Q, 因為 P 所以 Q
1 B9 ]6 v/ \6 I5 v V# e& c
# E# x: \: I+ Q0 ?0 a3 w( GModus tollendo tollens
8 d" f3 O! g2 [9 L' @P --> Q, 取得 ~P 所以 ~Q4 |& L' g4 x K9 w! a1 T+ y4 Y' \
& E1 _( A) U6 W! `Disjunctive syllogism7 a# C& s( G9 O# f$ n
P or Q, 取得 ~P 所以 Q
0 h& c, l6 C) e* m/ a3 LP or Q, 取得 ~Q 所以 P7 i; p4 v4 ^5 [2 G3 w/ O. b
1 y# _ }* s }, z& |( b8 n. @
Conjunctive syllogism" g7 q9 @! S; l3 [
~(P & Q), 取得 P 所以 ~Q8 k4 l) W3 D" l( X0 @ g( l6 C
~(P & Q), 取得 Q 所以 ~P8 g% q5 N7 d( {: g ?' {
- @9 \6 C: k& d) d2 K" p
Hypothetical syllogism
4 ?! ], k; t5 gP --> Q, 取得 Q --> R 所以 P --> R
. e. Y# {4 Q; m; S, f/ s' \. Q% t( P% o
De Morgan's theorem
3 b& I0 ^6 V5 p# U* O! ], p~(P & Q) 所以 ~P or ~Q( h$ z, w9 C) |/ a H$ s& ]! Z/ K
~(P or Q) 所以 ~P & ~Q |
|