|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
2 g7 |; Q# D& u% H. k) m7 T! nP --> Q, 因為 P 所以 Q
3 p6 G2 ^2 C, R A; k
! X1 j3 a* L( K# {# OModus tollendo tollens$ Q' d8 a+ e4 ?; [; A1 D- Q0 b
P --> Q, 取得 ~P 所以 ~Q) y2 h8 q# ^5 h& g( g2 {( s l
9 h6 o! ]5 B+ G. J- U0 U7 Z
Disjunctive syllogism4 R; M$ r& {7 n9 n/ H8 E
P or Q, 取得 ~P 所以 Q% F& e- F/ @5 e8 W
P or Q, 取得 ~Q 所以 P
7 O- x9 |# I8 G& K: y( o: q8 t8 w7 ]- p. c, a0 b, ?
Conjunctive syllogism/ @/ `" F; T d+ y' j
~(P & Q), 取得 P 所以 ~Q% ?! K- c9 X. d' m5 Y$ Q8 x8 p; _, A
~(P & Q), 取得 Q 所以 ~P
4 k h0 v& U2 ^2 G) y! F; }% F
Z6 n8 y; k$ L$ M- \Hypothetical syllogism! a2 s3 y& ]* }# V; D4 Z9 f7 k
P --> Q, 取得 Q --> R 所以 P --> R3 V$ i7 m: h+ w5 y
: I: N J2 Q9 Y- q- T$ ?% ADe Morgan's theorem( }+ S+ z9 [+ T' ^8 K
~(P & Q) 所以 ~P or ~Q, T+ C3 q" L5 u2 R$ F
~(P or Q) 所以 ~P & ~Q |
|