|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens X- f' q, M, l; P
P --> Q, 因為 P 所以 Q
7 X2 s2 E$ r2 N
& }1 |5 o; F, F. rModus tollendo tollens
+ S1 G5 z( l$ f- p1 D nP --> Q, 取得 ~P 所以 ~Q
4 D4 f1 H! Y& w. W
+ \, b) o D9 h0 a* v# H4 o6 T, oDisjunctive syllogism* }& V! S5 a: t3 o7 n8 L* h6 v
P or Q, 取得 ~P 所以 Q% y/ V( j& b0 g1 W
P or Q, 取得 ~Q 所以 P
! [& H4 P' Y. E+ ?8 |# G5 e, l, M K+ T. U4 b/ i
Conjunctive syllogism1 `2 d5 J6 ?" C4 e# s2 u) c
~(P & Q), 取得 P 所以 ~Q8 j/ h9 d6 L1 y7 P/ t7 W" a, e
~(P & Q), 取得 Q 所以 ~P
8 X* n0 I) Y# {7 r* }: d x, D3 n* V
Hypothetical syllogism# r+ |) l, N; s2 C' p& f: B: @7 b, F
P --> Q, 取得 Q --> R 所以 P --> R( X- q6 O; k3 Z* C: f
( `) o! h" @5 O: F# V, pDe Morgan's theorem
5 I1 ]- n9 Q2 N5 W& a~(P & Q) 所以 ~P or ~Q
8 b' s) T2 h5 ?+ I- V) B/ e( L$ B~(P or Q) 所以 ~P & ~Q |
|