     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens- J" o5 N) f5 W* I: L
P --> Q, 因為 P 所以 Q
1 [8 I. D% q2 h1 P* J8 `# F; V* Z1 |: r
Modus tollendo tollens) _% B/ ^% `4 M. A
P --> Q, 取得 ~P 所以 ~Q
, L# t" p) F' @
" C, y z9 |0 b" e0 S; |& H; JDisjunctive syllogism2 \& R; h8 B, k0 s' c! l7 k
P or Q, 取得 ~P 所以 Q
# L8 F t$ _5 _P or Q, 取得 ~Q 所以 P
4 I" V/ M( e! F$ p7 t+ o% {6 ~
0 P5 n+ A' ~+ N" H5 O. E1 qConjunctive syllogism
6 y+ T8 B: C, }- f~(P & Q), 取得 P 所以 ~Q
* O6 x- T6 R! d" U~(P & Q), 取得 Q 所以 ~P% ], r, G! a4 p% m
}2 ^! q4 b; |* M: iHypothetical syllogism
, N1 Y! L# r) z) _! S9 _ lP --> Q, 取得 Q --> R 所以 P --> R( f u1 v. ~4 V. t2 e- K
" v- F6 ?+ A; x3 ^1 RDe Morgan's theorem
* d" B" b, }+ u~(P & Q) 所以 ~P or ~Q- S) V$ g9 _& C" X' G* T% S% e f
~(P or Q) 所以 ~P & ~Q |
|