     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens$ u \1 `" P) y$ j' C2 G. `" L) B' i' t
P --> Q, 因為 P 所以 Q) I* s* m8 P8 p6 s0 B6 j f! z! j
. C- ~3 t+ a) h0 F
Modus tollendo tollens7 E$ }/ p# w6 ]& p& k1 g2 d k
P --> Q, 取得 ~P 所以 ~Q8 V7 T. r$ C( ^# M2 F" r- X
% \# I3 M( F2 V
Disjunctive syllogism
! l) Y. F3 {( m3 F7 c5 T& [P or Q, 取得 ~P 所以 Q
9 w9 w6 b5 R- U4 [, JP or Q, 取得 ~Q 所以 P4 S( b/ g1 |% O
3 O4 M* d4 ?/ A. M, I+ y* U# L
Conjunctive syllogism
7 R" r' C( q5 _~(P & Q), 取得 P 所以 ~Q# y# N3 d! x4 F5 q5 E
~(P & Q), 取得 Q 所以 ~P
1 ?, p1 f$ r0 O
8 @# g H, Y7 l7 Z) K; m& FHypothetical syllogism: Z2 o# P- O" z) s
P --> Q, 取得 Q --> R 所以 P --> R
, a% T0 H, q; B2 h' h+ x
_" j h6 A( \6 S/ eDe Morgan's theorem; o# J" J ?( B: o3 S+ t
~(P & Q) 所以 ~P or ~Q* k6 W7 U/ d5 o$ w" O
~(P or Q) 所以 ~P & ~Q |
|