|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens+ |9 q- ^# v( X9 I, W
P --> Q, 因為 P 所以 Q
4 c, u6 d; d/ I5 q4 X9 L( i: f4 h4 L. H/ @) ^1 F
Modus tollendo tollens
6 P1 m9 |: t, |. S$ ^P --> Q, 取得 ~P 所以 ~Q* ~) O% V6 q7 ^- K( n
( C2 ~: P* o" w/ o- N$ @, G4 s0 h; q
Disjunctive syllogism ~' p9 `$ f! \
P or Q, 取得 ~P 所以 Q5 Z' T u7 J' A; D/ H
P or Q, 取得 ~Q 所以 P
3 g& ?$ z, ?1 u0 J& e8 R( v! ^% S& ?5 G2 H+ ]8 a8 j( c
Conjunctive syllogism0 @! x+ ^( R! a' ?& n. V3 ]
~(P & Q), 取得 P 所以 ~Q- r7 ?- r5 K; Y3 U
~(P & Q), 取得 Q 所以 ~P: k+ T$ q |5 `9 g7 G
) k- p( m9 q/ a
Hypothetical syllogism
. B' C; @: X) B& U: {P --> Q, 取得 Q --> R 所以 P --> R
7 F% R: E" K9 J
" o7 g" o- K* D% ?7 {: NDe Morgan's theorem
* o* k. u1 W0 s ?1 t; H5 L~(P & Q) 所以 ~P or ~Q* P( Q" e, d$ z# R9 G, H- S" ?( f
~(P or Q) 所以 ~P & ~Q |
|