|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
, b8 c0 |- S' p6 D* L {0 e- w [P --> Q, 因為 P 所以 Q
8 y% z3 a1 l8 l; O: v v9 Q* L, G7 y
2 n$ {% Y- l5 K# N5 d( sModus tollendo tollens) G' D/ m- J [' u: y$ n4 r8 w
P --> Q, 取得 ~P 所以 ~Q
1 J6 i: @+ N f; _6 q( [7 g* ?5 \1 X: A6 i n# g
Disjunctive syllogism4 B9 B% ^% O$ M, i! A/ {7 _1 I% R
P or Q, 取得 ~P 所以 Q
: u- n+ f# r. m' |; M$ QP or Q, 取得 ~Q 所以 P2 f: {5 I& ~- _4 j8 I$ A: {- F4 m
* k( G4 l& r: ^9 K: V! oConjunctive syllogism
2 l ^$ x- L' ? }~(P & Q), 取得 P 所以 ~Q6 d+ H' C3 u# @; W3 a
~(P & Q), 取得 Q 所以 ~P
" w0 d* z$ H' x" {0 I' g
, i5 N0 c& s x0 L; {Hypothetical syllogism
6 V" S" S0 K9 Y. l. UP --> Q, 取得 Q --> R 所以 P --> R2 u7 K& O* E' L R: w" W
7 ?) E# Q3 h" ?' G3 SDe Morgan's theorem7 x+ u* ~& u! ^: J. ?
~(P & Q) 所以 ~P or ~Q
4 j% E' J: j3 U~(P or Q) 所以 ~P & ~Q |
|