- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens5 c/ l$ B! R1 }& d
P --> Q, 因為 P 所以 Q
! s% f y) z) [8 o3 a8 U3 j) ]9 {; e/ n* @9 X8 W0 u* e7 l6 i7 }
Modus tollendo tollens
/ ^( X' B$ R; X& h" yP --> Q, 取得 ~P 所以 ~Q! M2 }! A/ @$ C$ D3 ` p
* M3 r i5 S9 X8 Q7 gDisjunctive syllogism8 g9 A. ~3 U- p& i! q8 c
P or Q, 取得 ~P 所以 Q
; x2 n f6 Y& h# O& ]P or Q, 取得 ~Q 所以 P7 s$ u! J+ s7 f# l! Y z$ X; A
& m4 w, L2 g: d. Y5 m$ V
Conjunctive syllogism
1 s* d2 D7 m H) Y~(P & Q), 取得 P 所以 ~Q
9 U0 j! d# z/ ]7 m* k~(P & Q), 取得 Q 所以 ~P* R+ q. y9 W& ]3 k! {
6 ^/ J/ R8 z7 Z3 a- W7 [6 {+ jHypothetical syllogism
8 u7 ~3 M' P: t. A; t" E RP --> Q, 取得 Q --> R 所以 P --> R7 R* t) U* p5 T3 l* N
Y% }+ M! c; u
De Morgan's theorem- H& h9 Y: {6 s: r
~(P & Q) 所以 ~P or ~Q7 ?; C% ?3 t: p! H
~(P or Q) 所以 ~P & ~Q |
|