|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens& w8 \0 M6 L% U5 e% F
P --> Q, 因為 P 所以 Q
$ `" y0 j& c* I& E' u/ R* ^7 k' D" x" U2 [
Modus tollendo tollens
# U% m. m) s+ r& eP --> Q, 取得 ~P 所以 ~Q
2 M; k. o0 G+ Z6 J/ r1 y/ e r; y8 \9 g$ o4 i) B% v
Disjunctive syllogism% }( f9 @/ Q. ~! E# [
P or Q, 取得 ~P 所以 Q; x4 y4 W: h' `3 R: Z/ F' s
P or Q, 取得 ~Q 所以 P4 R9 E) r T8 |
* |4 k d; H; gConjunctive syllogism
( ?# ?1 g. a( N+ D" w, _~(P & Q), 取得 P 所以 ~Q
5 |; f9 j4 [4 Z~(P & Q), 取得 Q 所以 ~P8 l. e3 A" Q3 ~9 k m$ O
3 B2 |3 J( [1 h1 fHypothetical syllogism
! I% g' o: c( _# D& CP --> Q, 取得 Q --> R 所以 P --> R
& n$ s3 g: z& \) G
8 {8 {* F" S; ~3 e' XDe Morgan's theorem& ]: g' g. [- b) m7 u6 i5 Q, o ~
~(P & Q) 所以 ~P or ~Q6 _7 e; b) k9 q- |2 Y
~(P or Q) 所以 ~P & ~Q |
|