     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens4 {+ D. T: d' l' v7 n
P --> Q, 因為 P 所以 Q
* O; o" D- n. M0 o; @. Q- T
; @. ^1 ?" V& f" _Modus tollendo tollens
& u" ?* q. m: R4 ^9 {' wP --> Q, 取得 ~P 所以 ~Q5 N4 U' y, _& P8 I5 W
5 p& H! A1 }# L0 y* ?' C$ }Disjunctive syllogism+ o% O6 a, f8 A6 A8 N
P or Q, 取得 ~P 所以 Q
* Y6 Y: |$ n p$ |P or Q, 取得 ~Q 所以 P4 F- p" G7 a, G" k9 ]0 R z3 X% h
" N0 d2 b8 m3 `: t) fConjunctive syllogism
) Y! s/ K. M) _/ i) S~(P & Q), 取得 P 所以 ~Q4 u# i7 `: g6 g8 [# V# g. i
~(P & Q), 取得 Q 所以 ~P
1 N+ {7 d' h: d3 [8 ?+ J5 a. O1 F) ] I3 j: ?( C$ H& v; i0 {, [
Hypothetical syllogism: L! ]$ A0 {- N! ^
P --> Q, 取得 Q --> R 所以 P --> R
/ L7 V! L/ }- M6 f0 E3 B& \& `+ S3 u$ v, s5 I4 |5 X2 n% i
De Morgan's theorem- `" v! g6 y/ x
~(P & Q) 所以 ~P or ~Q/ F+ _ S8 Y0 o1 @& M' ]" m
~(P or Q) 所以 ~P & ~Q |
|