|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens" E% f9 m9 \9 I
P --> Q, 因為 P 所以 Q8 u+ r8 F4 k2 f7 l# R6 i1 d
/ Y. D' q0 t* D! SModus tollendo tollens
4 V4 f g7 _" }P --> Q, 取得 ~P 所以 ~Q3 h( W( Y+ u+ h7 d) g# i5 V6 B
; w& n( h9 Y5 K% ^+ v. yDisjunctive syllogism
/ {4 b. F# I* b s2 K) qP or Q, 取得 ~P 所以 Q
' q/ J8 ^# [: r9 m1 x8 |% D* K; kP or Q, 取得 ~Q 所以 P
3 S `! L) M% c1 o. }
' Y0 X8 N$ d3 c% R- C( V. \Conjunctive syllogism9 F- O# `! T; u% t: k& m
~(P & Q), 取得 P 所以 ~Q
" L& a7 p; {2 p4 X~(P & Q), 取得 Q 所以 ~P
. _* a" g8 {& w6 [
. @7 I& e2 n! x4 l U% vHypothetical syllogism
# i' \. p4 k# g& ]) XP --> Q, 取得 Q --> R 所以 P --> R: p" ]& J8 y2 Z4 r8 Z- l: D
8 Q! Q; p9 r* T# Y3 V% x: E
De Morgan's theorem
# b0 G i! f; n# F q. d" A~(P & Q) 所以 ~P or ~Q# ]- C( `" [9 l; ?$ T
~(P or Q) 所以 ~P & ~Q |
|