- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
( [9 j2 s* O+ F+ I& [* VP --> Q, 因為 P 所以 Q! |, D; p6 j( ^) @, H5 w9 A
# z5 `0 Y- _7 ^9 WModus tollendo tollens
y9 w, v8 o0 }+ i8 r, `6 `P --> Q, 取得 ~P 所以 ~Q
9 X! a/ Y) O9 z0 c7 _: L2 z. ]. Z, D5 W6 Y
Disjunctive syllogism
4 K- i- Q" Q/ i# {" V; ]P or Q, 取得 ~P 所以 Q* i+ A( B- r3 D4 ]- ]. K& R
P or Q, 取得 ~Q 所以 P# b- t9 k+ Z1 D0 L( _6 Z4 J, b
- z. C5 P5 j$ _1 ^
Conjunctive syllogism
5 Q" G. o4 V. ]' G# q9 H, N~(P & Q), 取得 P 所以 ~Q; B) W E6 {8 v3 M, K6 h1 }+ v
~(P & Q), 取得 Q 所以 ~P
F+ ]+ j$ M- Y$ o( X
8 D, r- c w3 B) J* YHypothetical syllogism
. k" a% Y0 l& c! uP --> Q, 取得 Q --> R 所以 P --> R
6 J, t2 X' ~+ d: ?& v4 K `) Y+ Z& Z! c7 L& D2 B
De Morgan's theorem
. e$ i- y5 N, A, j, ?~(P & Q) 所以 ~P or ~Q9 |" R7 N9 ^2 A! [7 b; x R% ?
~(P or Q) 所以 ~P & ~Q |
|