|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens! L/ I9 Y2 y- `- c' a! V
P --> Q, 因為 P 所以 Q7 T0 P' q9 \& Q6 g9 C* j
; E! ^. p( M i4 w [
Modus tollendo tollens8 O* Q' n B) @. p7 Q+ m/ k2 k6 ^) \
P --> Q, 取得 ~P 所以 ~Q
$ I6 K% p7 b9 Z! h" b% d& X, S. H$ G) e) K( k/ U
Disjunctive syllogism) W+ c: ?0 e, L2 [ p0 v! Q
P or Q, 取得 ~P 所以 Q
: [! P) [! n8 n' ?! s; LP or Q, 取得 ~Q 所以 P
9 T2 X" L2 G: ^4 |
+ ~0 Y% `, k- i9 u1 w' @$ l; bConjunctive syllogism
$ x4 A: f1 @2 g' Z4 o~(P & Q), 取得 P 所以 ~Q) m1 \! s9 ~; w) [9 K& d( c
~(P & Q), 取得 Q 所以 ~P' ?5 L1 v9 F0 i
( g- p3 W/ j L! I# H1 _' R
Hypothetical syllogism# C: i* w/ J1 P, c% K: a9 t1 I
P --> Q, 取得 Q --> R 所以 P --> R& g; }4 u6 N, _8 g3 c
% J9 L# \, x5 N# y) m( {
De Morgan's theorem4 `$ Z# s3 K0 P; {6 K+ B1 N. P
~(P & Q) 所以 ~P or ~Q
9 x( i% W$ a- A8 I/ |7 }~(P or Q) 所以 ~P & ~Q |
|
