|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
, L) E" b8 `: K- ~$ qP --> Q, 因為 P 所以 Q
T' E+ X o- }/ i7 E" ?* Q; v3 f. [( d% h+ a) `9 v9 r! I: V3 i
Modus tollendo tollens o+ p1 M: R3 \( _* l9 O8 b
P --> Q, 取得 ~P 所以 ~Q
Z, @1 b, z/ X2 ]1 n, j1 s' N8 N: Y: Y- r M6 {
Disjunctive syllogism+ b6 X! c9 h' u; j: [
P or Q, 取得 ~P 所以 Q# R( J w4 N! _: l6 U
P or Q, 取得 ~Q 所以 P) m& }( ]4 U4 O5 Q" o
W' N, a! S3 F$ T) X
Conjunctive syllogism2 j: _) i; v6 C& C
~(P & Q), 取得 P 所以 ~Q
6 S% Z, Q- D! k x3 D. Z* @5 v/ m~(P & Q), 取得 Q 所以 ~P- E; O+ b) ~7 T! y: G
8 m9 j9 f6 \' Q& h z) j
Hypothetical syllogism
3 L( e7 ]2 s$ |- Z7 f9 HP --> Q, 取得 Q --> R 所以 P --> R2 j! E& c' ]' f* @4 I; a
, e2 w/ }5 a: n2 P8 Q# G/ Z
De Morgan's theorem+ |; l2 M! e1 g+ v( @, f0 }! N
~(P & Q) 所以 ~P or ~Q9 w3 E+ z' ]9 {$ f
~(P or Q) 所以 ~P & ~Q |
|