|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens; G$ J, P& T4 p
P --> Q, 因為 P 所以 Q
' R$ J7 c! A3 q" e
" X/ Z, o- t9 F: k. |Modus tollendo tollens$ x& H! B: N/ b8 Z A
P --> Q, 取得 ~P 所以 ~Q1 E- \$ b* e3 O' Q7 B7 i$ R
y$ _+ C! l" m6 P7 `/ qDisjunctive syllogism
d7 @9 U/ W/ P1 y* FP or Q, 取得 ~P 所以 Q) z1 X/ c( f2 Z( o8 ^
P or Q, 取得 ~Q 所以 P
E( N) ]+ s! s0 y
1 L# y, P% i% \# ^! l( L* N! @Conjunctive syllogism
$ C" n& Z- h# ]~(P & Q), 取得 P 所以 ~Q
4 e/ B( B, ]& S' ~; s- L+ J~(P & Q), 取得 Q 所以 ~P
: t% a2 |( S# {+ Y8 }* M4 }4 Z
0 a! N$ ~! K# p$ w7 lHypothetical syllogism$ @: o/ i' R4 e/ y+ J. n1 N+ m
P --> Q, 取得 Q --> R 所以 P --> R- A( A/ l# ^9 m4 q# j4 L
$ [9 I! c% s- o7 ?& oDe Morgan's theorem
: r& @9 r- H1 P! j- y~(P & Q) 所以 ~P or ~Q b* v0 X8 r$ n% @( A3 i" V
~(P or Q) 所以 ~P & ~Q |
|