|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens6 R; ~. \- ~: V, E' t, D
P --> Q, 因為 P 所以 Q% u$ g% W% H% r# j: a0 f8 l
' b5 a9 P6 ]3 c9 dModus tollendo tollens
; f* q3 T( g& iP --> Q, 取得 ~P 所以 ~Q! T, o5 n) r7 F0 g5 l- @
$ T, H* a1 p j/ qDisjunctive syllogism
* p* t) ]$ M! s0 E0 Z O% M! QP or Q, 取得 ~P 所以 Q0 P7 [" G2 G5 w: S
P or Q, 取得 ~Q 所以 P
" ^/ E! T/ M, e: J2 y( L
3 p1 V) S& A/ S( V* v& {8 NConjunctive syllogism
; I! A8 C$ \$ C~(P & Q), 取得 P 所以 ~Q
0 j/ w. U# s( e% x* x~(P & Q), 取得 Q 所以 ~P
' Y( A( _# |2 a2 \2 {0 W- t( W8 |1 A- B, I
Hypothetical syllogism$ L+ N: @: R: J, ^
P --> Q, 取得 Q --> R 所以 P --> R. e& i7 d+ M3 c& Q
6 ?7 v, G) Z5 ?6 M9 HDe Morgan's theorem i5 u$ r- Q' l2 M% A" w& x7 T1 Q
~(P & Q) 所以 ~P or ~Q5 u- f5 e+ p. [- B u3 x9 D+ `0 f+ h
~(P or Q) 所以 ~P & ~Q |
|