|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
8 W9 T; ]! j0 }! b4 I. e: p$ k: VP --> Q, 因為 P 所以 Q
$ X! C. f9 `* w+ Z: W/ M" ^0 R- _
Modus tollendo tollens/ {4 w) O) G/ f
P --> Q, 取得 ~P 所以 ~Q8 D1 U7 U$ i4 \4 _+ \/ e' `# X$ Z2 v
: ?" w; O) b/ J2 p. U! w# ~Disjunctive syllogism1 g7 G# c( ?3 y- S- g5 i
P or Q, 取得 ~P 所以 Q
/ h6 ]' t: ` z l6 f9 R: a oP or Q, 取得 ~Q 所以 P
$ T, v, C+ q w- a. N/ w0 m9 C
" W f* C; Q: E9 O" T9 Q- s6 P1 O3 _Conjunctive syllogism
& ^1 A% K1 t+ ~0 D9 o! P~(P & Q), 取得 P 所以 ~Q: ]7 w. i( X# b
~(P & Q), 取得 Q 所以 ~P
) t0 M( R+ o B6 h1 p1 K7 g) W8 T$ q1 d. C+ x
Hypothetical syllogism
+ b3 h8 F0 p7 m# }; \( ?' c. f( bP --> Q, 取得 Q --> R 所以 P --> R
; n) |# F0 H$ R% ~6 T# N7 u$ R) U$ n w0 j7 U) p
De Morgan's theorem3 s: f/ c! Y3 C! I
~(P & Q) 所以 ~P or ~Q
6 {0 T6 O8 B& @# Y. s I~(P or Q) 所以 ~P & ~Q |
|