|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens, U. M n5 t. u$ \
P --> Q, 因為 P 所以 Q6 s- ?. K) V6 O/ H5 r% g
" h/ Q; Q/ c, C; X
Modus tollendo tollens/ e. \3 s7 H2 S
P --> Q, 取得 ~P 所以 ~Q( t$ l0 @9 Z- j$ U) g
+ e a- B) @, ^5 `5 l" l! zDisjunctive syllogism8 K. @7 U, B4 K7 y- [1 X) g
P or Q, 取得 ~P 所以 Q
: Y2 }8 s6 x) d4 w; m. pP or Q, 取得 ~Q 所以 P; I" M6 W) X4 v6 M" x" Z& T6 S) i
5 m7 f. R+ w IConjunctive syllogism
1 Z7 Z3 R, m6 h% [& N) l/ a8 H~(P & Q), 取得 P 所以 ~Q
( _/ o/ ~* _- c# ]9 g- U/ }~(P & Q), 取得 Q 所以 ~P9 @/ d# o9 b1 L0 r: N6 y
2 q' u y( {! _& t2 o( O; B
Hypothetical syllogism9 r+ }9 I! X. m( B, U% u; Q
P --> Q, 取得 Q --> R 所以 P --> R( e. _; x2 Z$ w' G! p$ t0 {+ o! B- s
; B$ J6 ^' v$ j! I% P9 |
De Morgan's theorem ?( v5 A; K! i7 d, [8 V5 j V. m
~(P & Q) 所以 ~P or ~Q
. L& ?2 f3 @1 y5 u~(P or Q) 所以 ~P & ~Q |
|