|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens$ X+ o ?" @% [4 C
P --> Q, 因為 P 所以 Q# o. C! K/ n8 V H. ^
- }! u! ]1 r# B! o7 w
Modus tollendo tollens
' l& `% k. z4 R5 O! KP --> Q, 取得 ~P 所以 ~Q
/ R6 [. L" ^! @0 i
, S+ m1 @6 R5 D' B8 |# bDisjunctive syllogism
) l& ~; h& N8 ^1 H" HP or Q, 取得 ~P 所以 Q
5 s( ]! G/ ^( h) O XP or Q, 取得 ~Q 所以 P0 X# J# L( c; l4 T+ p. }$ o
- K0 z' K& ~2 s2 j0 i# \Conjunctive syllogism
' L2 e* t; ~. P~(P & Q), 取得 P 所以 ~Q
% N5 N9 f, j5 l- F~(P & Q), 取得 Q 所以 ~P* M4 Y) M! u4 y; q( D4 p
' r) B' Y& N1 E, N% b% bHypothetical syllogism
6 N9 Y3 C6 Z! ~ v0 i+ yP --> Q, 取得 Q --> R 所以 P --> R3 B5 J" j% {4 e5 a/ u+ e( u/ [
, E* m* O& E: s7 T/ xDe Morgan's theorem+ W0 ?2 s* X6 E( r! U
~(P & Q) 所以 ~P or ~Q
2 l9 {2 U1 e* Y; F {" M~(P or Q) 所以 ~P & ~Q |
|