|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
1 n, S) p; y& ?P --> Q, 因為 P 所以 Q# i2 \3 q- c3 g7 S
% s5 h$ S3 y, Y! M \5 j: mModus tollendo tollens7 w. F0 `0 Z( k% z0 }( _; r& I Z
P --> Q, 取得 ~P 所以 ~Q8 i7 k. Y. X4 ?4 j4 Q
8 F) r( C, w% T# h3 q) }, g$ }Disjunctive syllogism
' N1 r% e- [8 K) b) p$ B2 _P or Q, 取得 ~P 所以 Q- ^, l/ i8 ?6 S" z
P or Q, 取得 ~Q 所以 P
0 h) i. @6 U p, Y: b3 ?$ Z: d. s5 b0 Z1 z" ~. T
Conjunctive syllogism) b: \* N, w( M4 Z! l' z- @6 X& |
~(P & Q), 取得 P 所以 ~Q
6 S( U h4 c; J- E* o, C~(P & Q), 取得 Q 所以 ~P
! e+ d2 N A" |6 `- p9 q7 p7 x7 A" G' t7 _" ]0 U- _
Hypothetical syllogism
2 ^) O" l) O/ g) F1 h8 Y# rP --> Q, 取得 Q --> R 所以 P --> R
* E1 _, Y0 Z: [! b3 [0 u; m4 `7 l* t3 j" C
De Morgan's theorem- R) \! \6 i$ T8 r
~(P & Q) 所以 ~P or ~Q
( o: c% T2 o. y8 Q2 z9 X' v4 r~(P or Q) 所以 ~P & ~Q |
|