|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
+ c" b Z+ _6 E+ S/ G4 m% o2 C" yP --> Q, 因為 P 所以 Q+ i- ]. Y8 t5 }, ?2 ?1 ?
7 a" m) |( v5 ZModus tollendo tollens
1 M3 f: c ]7 U( F9 [P --> Q, 取得 ~P 所以 ~Q
2 R8 ?( n# Y# {* Q" m
4 U# l% u& h( K1 A. W7 TDisjunctive syllogism' `& Z4 G: u! l9 J& C* a
P or Q, 取得 ~P 所以 Q
# W# g% H' d, UP or Q, 取得 ~Q 所以 P
[9 x6 D0 n1 c E
2 @7 I; @! L' n+ ZConjunctive syllogism5 r6 x0 c4 w( s! v0 j
~(P & Q), 取得 P 所以 ~Q l% l8 \/ F% x+ Q' y4 _
~(P & Q), 取得 Q 所以 ~P/ a9 `1 J$ ^7 Y" d+ M0 M1 ?3 J
8 [- T2 f! V8 F, N+ ]0 S c {, I
Hypothetical syllogism- I1 K" Y' |. Z- [1 {' Q# _' B. }
P --> Q, 取得 Q --> R 所以 P --> R
" H8 J, H: _, D8 ~. [* z
. A. J: l7 ]# q; M% TDe Morgan's theorem" C( E- X& ]0 M+ [4 e' q9 h
~(P & Q) 所以 ~P or ~Q' `4 Q/ D ]8 P% {4 ]# a/ b
~(P or Q) 所以 ~P & ~Q |
|