|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
: |7 M2 |. c, k, VP --> Q, 因為 P 所以 Q
% z# s; H/ s4 A0 m( l; v- Q2 U5 y3 Y
Modus tollendo tollens
' }# c' H3 l$ \P --> Q, 取得 ~P 所以 ~Q
( k, g- ^1 v) \5 n( f; T9 b8 h% J2 o( `3 l4 Q$ t
Disjunctive syllogism. l8 W2 Q" H/ s1 ~4 u! N9 s
P or Q, 取得 ~P 所以 Q
+ J" s, I' {& b+ B/ Y+ G9 qP or Q, 取得 ~Q 所以 P d& Q( Q$ x- z4 s: ?0 a# m! y& V
/ s" M g8 a0 I7 t; e3 }Conjunctive syllogism
# n: X* D K+ {( `~(P & Q), 取得 P 所以 ~Q
' C5 y" {9 Y* y$ I3 X! F9 \~(P & Q), 取得 Q 所以 ~P8 f/ Y; v, Z5 [ ^. ?0 g8 q3 o
* m% W1 A4 P- d" n
Hypothetical syllogism$ P P; F) Y% j$ x0 N! p
P --> Q, 取得 Q --> R 所以 P --> R
9 [5 Z9 ^ R! W) Q0 a* B1 D+ c: k9 ]& U8 ^
De Morgan's theorem g# f% U" |) U3 D7 h) Y
~(P & Q) 所以 ~P or ~Q
9 n& V& R K5 T( G~(P or Q) 所以 ~P & ~Q |
|
