|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
2 _' Y6 r* V+ lP --> Q, 因為 P 所以 Q
, L; D A& }( j1 G q7 b- O* v8 U$ q. P6 K% _+ B
Modus tollendo tollens
* z0 e) E/ K0 ~5 ?. w DP --> Q, 取得 ~P 所以 ~Q8 h8 J' Q6 @. |! |% g
% \% M) O7 E% gDisjunctive syllogism- ~9 b- F4 M$ K
P or Q, 取得 ~P 所以 Q
$ k9 \0 u% Z2 o/ A( }P or Q, 取得 ~Q 所以 P9 ?# {" r/ c6 q5 C4 q3 W
8 a4 \; S: T& H* s
Conjunctive syllogism
& Q& _+ R0 E8 ^7 f9 A2 ~' S* h. T8 ]7 C~(P & Q), 取得 P 所以 ~Q5 C, B' q( e6 H0 m, ]9 C- @" h
~(P & Q), 取得 Q 所以 ~P$ [ w" a" M6 X! K( H
/ a* h3 I# d2 r8 [+ H
Hypothetical syllogism% [2 J& ~# H. `- { N! [+ L# u5 R
P --> Q, 取得 Q --> R 所以 P --> R8 N0 W. o: p' ~, f' d
) m7 g2 i& O/ |& B2 hDe Morgan's theorem
* F% A' X. U! @% N- G~(P & Q) 所以 ~P or ~Q- W' g2 z; G9 t' S% D
~(P or Q) 所以 ~P & ~Q |
|