     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
! ~! t- f# a* p' I) F- D3 c# WP --> Q, 因為 P 所以 Q
. A* ?2 Y& d u9 N) n6 ~4 }2 H- a
Modus tollendo tollens' S, P( n, G9 u6 x4 _8 k! y0 v1 N5 |
P --> Q, 取得 ~P 所以 ~Q( G( h( H* o1 Y, `4 ?) F; y. @3 Z/ h4 ^
5 O8 p8 n' c+ s* t/ _' \Disjunctive syllogism
* d. [# j. b. m; ]* {0 ?$ vP or Q, 取得 ~P 所以 Q
- L7 Y% u) R, ?# @3 k) s WP or Q, 取得 ~Q 所以 P& r5 S7 N( U6 y2 R7 i2 ^5 b
' O8 T9 w; d* U r
Conjunctive syllogism
0 d% u" p, _* q. g3 N! ~~(P & Q), 取得 P 所以 ~Q
; z1 w4 B" F: }2 q~(P & Q), 取得 Q 所以 ~P5 w& ?- Q1 i& r, j: }1 T
- ~' K3 \5 |$ h) [2 I' m
Hypothetical syllogism
" R4 b0 w. g. Z) D- jP --> Q, 取得 Q --> R 所以 P --> R G1 Q: l8 ]% f l- ~
$ v9 F S3 c4 G* o$ E, O5 f* l
De Morgan's theorem# |+ T2 [/ c! U# ]9 X
~(P & Q) 所以 ~P or ~Q! j# Y0 _! H" [: }
~(P or Q) 所以 ~P & ~Q |
|