|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens: i) K5 Q' U) p
P --> Q, 因為 P 所以 Q
0 b/ y# i+ [- D1 E$ T7 ?8 @* G4 P* J- p4 w# G" m
Modus tollendo tollens6 U3 L, x; e) l
P --> Q, 取得 ~P 所以 ~Q _; L( r4 h3 h* `% h! _. F
4 ~0 K4 S, F3 JDisjunctive syllogism3 a6 p* y+ W# b& J" i9 H' i7 L
P or Q, 取得 ~P 所以 Q
! }2 H, u, k- G) W6 QP or Q, 取得 ~Q 所以 P
' k& @/ ]! T- ?3 W* E5 o" [8 b1 F' k- A- G4 T' b% X; z$ j
Conjunctive syllogism' Z. l( Z/ i* a# Z { i* ]. T/ l
~(P & Q), 取得 P 所以 ~Q, I3 ^& V o/ N6 x/ k( Y
~(P & Q), 取得 Q 所以 ~P
- Q4 i" s7 V4 ?4 S$ {3 n; f
! P ]- F8 m8 g7 }. v/ b( uHypothetical syllogism
) j4 x0 d$ {& `P --> Q, 取得 Q --> R 所以 P --> R/ \( e% h% N0 p i! M
4 W, B7 W- q2 G5 c1 V. r: f. }2 _De Morgan's theorem Y/ y/ g. Q& M1 D7 N; f
~(P & Q) 所以 ~P or ~Q# p3 c. [) l8 E# @( p3 K
~(P or Q) 所以 ~P & ~Q |
|