|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
# G, ~5 I1 a0 G, n7 wP --> Q, 因為 P 所以 Q
9 E2 _) l( h! e4 ?+ t* Q' m: l
- n9 A6 X/ o J& W6 I: ~Modus tollendo tollens
( r' A( C! _) \5 I0 `P --> Q, 取得 ~P 所以 ~Q
, z4 v2 g* e( P( F0 ~
( f) o* ?0 `6 ~; Z- }6 uDisjunctive syllogism2 G, x6 ?1 p. M/ V' D5 m
P or Q, 取得 ~P 所以 Q* |+ J. h$ W9 {: \
P or Q, 取得 ~Q 所以 P# n' @3 E$ e H ~/ [
c7 D9 h' {! O n4 ~1 v2 t( Y3 u
Conjunctive syllogism; P% z5 m4 @* [8 t) W0 e$ W
~(P & Q), 取得 P 所以 ~Q- {, @& H( |8 i u- l
~(P & Q), 取得 Q 所以 ~P
* n) d5 x( s* ]- T3 r4 Y' O0 |6 r
6 d# Z @8 S1 d) x4 ZHypothetical syllogism) l" K6 N. p8 P
P --> Q, 取得 Q --> R 所以 P --> R T$ i) A' S2 ?) Q" g% j @! N: [. ]2 b
3 D1 P! u' V1 @, U. YDe Morgan's theorem
6 i4 v) w3 h+ M0 e4 Z0 S. [$ w~(P & Q) 所以 ~P or ~Q) W; Q* B4 X9 v S/ ?2 A
~(P or Q) 所以 ~P & ~Q |
|