|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens3 t+ k" o9 z1 `4 C
P --> Q, 因為 P 所以 Q' Q5 @) V! h* u
& Y) o$ i V3 g- ` u
Modus tollendo tollens' V2 w' i9 ~" |6 `% f) V/ L
P --> Q, 取得 ~P 所以 ~Q# }& O: u+ ]2 Y* _: P! n
9 ]* k. R& | |8 \9 W
Disjunctive syllogism3 ?5 `+ S2 _$ d& }3 {
P or Q, 取得 ~P 所以 Q
9 t" v8 A* B5 V+ c" YP or Q, 取得 ~Q 所以 P- w0 \, M1 ^7 v- }% l
7 D5 n# P7 c- Y- W8 C
Conjunctive syllogism
! Z7 z! S8 z8 h1 F c& I; L0 s~(P & Q), 取得 P 所以 ~Q
3 D) W7 }- o: H! k" x~(P & Q), 取得 Q 所以 ~P
" x. V z! q8 Z1 F, X6 P# l" ]0 w8 D3 x ~0 A
Hypothetical syllogism' k4 f# j G6 Z/ E
P --> Q, 取得 Q --> R 所以 P --> R; q5 z* }; H$ I1 ]8 Z
: z, p; N6 ^- T, MDe Morgan's theorem
2 a) R* y1 h" k2 Q~(P & Q) 所以 ~P or ~Q% c4 ]1 S! e+ d9 I4 O: E
~(P or Q) 所以 ~P & ~Q |
|