     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
1 K2 Y& A x5 t) J$ tP --> Q, 因為 P 所以 Q; Q+ y, P, P1 U6 o/ f
" r F. x& Z8 R9 `
Modus tollendo tollens
$ T0 ~8 I% } {9 Y LP --> Q, 取得 ~P 所以 ~Q
0 j* W# B% Q3 F/ I0 W- b# m
! e" L. k' i/ g5 o2 z# P N) GDisjunctive syllogism
+ X0 l+ H) H; w5 m+ Z5 n. JP or Q, 取得 ~P 所以 Q
$ l ]% }) C T: D `P or Q, 取得 ~Q 所以 P
. I4 B$ m3 d& X- d! j; i) j/ h( O: h/ E# Z& Q* K. U
Conjunctive syllogism- ^1 p2 W8 S- Q+ P. S+ A' b
~(P & Q), 取得 P 所以 ~Q& B L9 b$ |4 }
~(P & Q), 取得 Q 所以 ~P
) x; e% i9 D" a% {
9 Q2 T( Z6 F3 }$ o0 ~Hypothetical syllogism
& x( h! {4 w& V: }P --> Q, 取得 Q --> R 所以 P --> R* s) w" s& `4 t* C
$ l6 A: f9 f- KDe Morgan's theorem' h4 V" T3 i- H$ P$ E0 V$ j
~(P & Q) 所以 ~P or ~Q# K# @4 x" C. [' U+ t9 N# J
~(P or Q) 所以 ~P & ~Q |
|