|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
! i X3 ]# \2 v8 v P6 m% U9 _P --> Q, 因為 P 所以 Q7 c! @/ ^5 c6 a- k0 L a/ n6 {
9 ]( v+ f5 Z: g' t; R$ Y, SModus tollendo tollens
% X- z4 _2 b! W, O8 ^9 t% [P --> Q, 取得 ~P 所以 ~Q
$ o1 g4 S, Z# U f7 x! O3 y5 ?2 _% |) |2 z4 v- n7 u- P
Disjunctive syllogism3 U9 U) }7 V6 v8 O+ }% {) I
P or Q, 取得 ~P 所以 Q
# @3 p8 T L% A7 v+ h0 ~P or Q, 取得 ~Q 所以 P. O2 M& m& h+ O& M) o+ b$ g+ K$ K& y
& n7 H, e4 a5 m5 l; vConjunctive syllogism
. N% y- p9 E2 |& Q# y% ^/ _~(P & Q), 取得 P 所以 ~Q& U5 N" \ t: D
~(P & Q), 取得 Q 所以 ~P0 e. k7 R( w% x6 _; c& s
5 W4 y) q% a7 _% N* k( |9 jHypothetical syllogism
: z j& b$ t7 u9 K! \- I% PP --> Q, 取得 Q --> R 所以 P --> R) j0 G. s# z2 o3 C0 ]: ]
2 ], w p5 |9 N4 j& P" w7 ]De Morgan's theorem
$ k' z. x1 S7 W5 S. _~(P & Q) 所以 ~P or ~Q
3 R& y& l+ U4 k8 b2 |~(P or Q) 所以 ~P & ~Q |
|