- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens0 f/ s- {8 G8 J8 B( c3 u
P --> Q, 因為 P 所以 Q
$ Y! h8 d3 ^& }; Z+ w* b( Q! r- k7 p; d1 \ x( R
Modus tollendo tollens
4 G, C3 ^! k* Z1 @, F1 ^. MP --> Q, 取得 ~P 所以 ~Q
# r5 ~( v4 U9 [ `" y; m: M# O# s% w, @5 h. w# C' h6 {; j( b0 B
Disjunctive syllogism' i2 b- `( _/ V& z2 U/ C
P or Q, 取得 ~P 所以 Q
7 ]6 F' [+ M! ^) P! }; }P or Q, 取得 ~Q 所以 P
. X; z% G6 r! l9 A
% U3 S& |/ w8 f/ p+ g- c( aConjunctive syllogism
& I5 g6 j* Y1 ~~(P & Q), 取得 P 所以 ~Q
. c$ K# V! G' t" U" t~(P & Q), 取得 Q 所以 ~P
6 b$ v% O: e( w( |( |. J8 [* D$ l* W; C, N. o E! u
Hypothetical syllogism
8 g- N4 `; o% Y4 d3 ?; h sP --> Q, 取得 Q --> R 所以 P --> R. _: m* m. H3 z6 m: y& C3 P" g
4 |1 ^( j9 N/ c; b8 o5 X- g1 A0 |
De Morgan's theorem
# c' ^) P* i; i w~(P & Q) 所以 ~P or ~Q
9 T, j$ o" C; w8 V }( k~(P or Q) 所以 ~P & ~Q |
|