|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
2 m8 l( z( W3 m- T, HP --> Q, 因為 P 所以 Q
0 _0 R. H. p! F. a$ g+ ^; j! `2 C) B$ e4 |9 c# g+ e! s0 a q
Modus tollendo tollens
# f3 Y1 x4 b6 q' yP --> Q, 取得 ~P 所以 ~Q0 w' f4 z# d1 R4 H3 j! ^
# T1 B! z3 g4 {& l J9 ^) g+ ^
Disjunctive syllogism( C6 k- e R+ Z; h! d
P or Q, 取得 ~P 所以 Q
6 ~" F' y5 g& j! eP or Q, 取得 ~Q 所以 P
% K! {8 R( c1 K! F' M: E$ q6 ` g( b. \" A9 E
Conjunctive syllogism
* U+ q: c+ c4 k, s8 x~(P & Q), 取得 P 所以 ~Q n7 }7 z/ S1 C2 h7 W
~(P & Q), 取得 Q 所以 ~P
9 k4 M s+ K6 S6 w
: _% b, d+ Q/ n9 S+ h9 c/ W1 JHypothetical syllogism
V9 a. `# D& y8 H/ f9 |0 W% k" r/ }P --> Q, 取得 Q --> R 所以 P --> R
' S- \' O4 V7 U3 P, H: Y3 Y1 M/ q1 y/ U) I1 W8 D
De Morgan's theorem
|# i% c0 I8 q6 L~(P & Q) 所以 ~P or ~Q
4 \- [& m( v6 Z4 q& e; @0 F" d1 z~(P or Q) 所以 ~P & ~Q |
|