     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens( G, V% J' u( M% X
P --> Q, 因為 P 所以 Q5 P% v A5 d- A& a' O
/ {5 ?) ~1 S; N4 o& E
Modus tollendo tollens4 S, ~% S4 v4 p! m7 t; x3 u4 h' _
P --> Q, 取得 ~P 所以 ~Q
& b1 k1 A B4 S4 w6 _" F: D
4 b' Z% ?7 A5 z" @& [Disjunctive syllogism
0 s0 G5 F+ b9 z/ e8 OP or Q, 取得 ~P 所以 Q7 {! T) m+ Y& F6 l `; T' t
P or Q, 取得 ~Q 所以 P$ _' e! _4 u! h3 p$ h. |3 m I9 U7 t: I
; w( D" V9 \: m' r
Conjunctive syllogism7 Z/ t2 {- T* c. C' ~" x: h
~(P & Q), 取得 P 所以 ~Q6 |6 {7 P% H1 j4 X8 `) o
~(P & Q), 取得 Q 所以 ~P+ n- j. D O2 _1 ~0 S& o$ P
- E4 v* a" c+ N' _& @( @
Hypothetical syllogism
+ B- w% W7 o# s# [* RP --> Q, 取得 Q --> R 所以 P --> R
4 d6 a6 C( G" P% [& p' K0 K, k$ V7 [
De Morgan's theorem n" [2 ~& V. H# i
~(P & Q) 所以 ~P or ~Q
. o& r% g( A% Y$ e~(P or Q) 所以 ~P & ~Q |
|