|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
" J% Y! T- Y0 \- r- \P --> Q, 因為 P 所以 Q- z9 H7 a* e* ~$ o" @
4 e+ C2 E$ }- _9 g$ T
Modus tollendo tollens2 g2 g7 {# \3 Q, g H" f5 }; n
P --> Q, 取得 ~P 所以 ~Q: R+ M$ { K( y$ l _$ C
9 [ ^3 E7 z4 T5 C1 E! P1 T
Disjunctive syllogism8 V1 |: j' t8 p4 m9 O
P or Q, 取得 ~P 所以 Q
! p, Y+ h2 O# z, O: {P or Q, 取得 ~Q 所以 P
# G# |+ Y6 t- v. B1 a& J6 L% x( ~ g) k& C& a$ B
Conjunctive syllogism
7 B& {) Q J) D6 s. l~(P & Q), 取得 P 所以 ~Q7 {* R( g1 I1 e% l* m8 L
~(P & Q), 取得 Q 所以 ~P& C% j5 b. S# }2 ~
5 U2 l6 R! ^/ {1 ` I/ I
Hypothetical syllogism' N; _6 U. i t- v2 U
P --> Q, 取得 Q --> R 所以 P --> R
$ Z8 R& e1 l! E' |
7 _+ Z; B1 \6 t6 c+ IDe Morgan's theorem6 ]% s, j; ^5 w$ n/ H+ d
~(P & Q) 所以 ~P or ~Q; V7 A _! J+ b3 z, J7 u* f" a7 ]
~(P or Q) 所以 ~P & ~Q |
|