|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
, t4 g! R4 _7 c0 iP --> Q, 因為 P 所以 Q q/ N2 g0 D$ N8 ?! k* s- |4 _
) `3 N: v' |/ H- r0 @Modus tollendo tollens/ m) J2 g4 O& N" |. j: j7 s
P --> Q, 取得 ~P 所以 ~Q
$ ^6 [6 w5 U; K6 t( N
! K% r+ O ~# KDisjunctive syllogism
4 W. L& u' E/ u* r% k* q1 HP or Q, 取得 ~P 所以 Q! e s" V1 L& ^- i& \
P or Q, 取得 ~Q 所以 P
( L# [8 f2 E' ^' S: j/ \* B3 o
- q1 Z; T& z" L2 b& mConjunctive syllogism
1 I9 F% ~: ?1 u7 A~(P & Q), 取得 P 所以 ~Q! M) X6 P7 B) M8 ^- i
~(P & Q), 取得 Q 所以 ~P
. z" U2 d0 D2 M: P' ^, K3 ~1 m3 A# n3 F0 ~- f0 Z( }. u6 H. f( {
Hypothetical syllogism
2 O' I1 V$ [" pP --> Q, 取得 Q --> R 所以 P --> R
- V# `- u: c H8 M! k# d$ [
. Z$ I7 x. _8 HDe Morgan's theorem
" u2 U' J6 `; q1 c. l~(P & Q) 所以 ~P or ~Q+ C# X x: e; C% O0 M1 P6 p2 ~
~(P or Q) 所以 ~P & ~Q |
|