     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens! n% i4 T! z9 B9 R
P --> Q, 因為 P 所以 Q
2 n8 r: o) j7 U- B# k( O& |' M
+ R% G6 _* R4 AModus tollendo tollens
& q6 q0 V4 }7 d1 EP --> Q, 取得 ~P 所以 ~Q- k4 \$ b- h7 \' I
1 H5 ?8 {& C, t9 l. ]Disjunctive syllogism
. } \4 `! g7 G" }9 @4 t3 ?P or Q, 取得 ~P 所以 Q; [; S& D( j# J( k
P or Q, 取得 ~Q 所以 P
7 ?: s/ o. o. N) R, c( m% t' t; }8 N; ]" f
Conjunctive syllogism$ x. A0 Y( ^/ D( h$ U
~(P & Q), 取得 P 所以 ~Q
" q/ Q9 g# p. r. t0 M/ \' n( l~(P & Q), 取得 Q 所以 ~P9 _% D- O3 Z3 @3 s. |- T9 c; B2 a4 K
: G8 k1 s0 W0 Y2 q# C5 pHypothetical syllogism
3 g' g$ `% z/ t/ O- t" R {: Q) FP --> Q, 取得 Q --> R 所以 P --> R
# z. }& J2 _' q* i% P5 S( X( Z9 C* g0 `& \; \7 y
De Morgan's theorem
: a! N7 g& ^6 }* j" w3 j~(P & Q) 所以 ~P or ~Q
6 y7 [/ z% z! Z~(P or Q) 所以 ~P & ~Q |
|