     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens( b1 o& N2 V# H. X( F
P --> Q, 因為 P 所以 Q" z& J# O& C0 O4 W- m% ~9 O
5 R7 B l% q! [$ M2 s
Modus tollendo tollens
" p2 q/ h+ d' F" MP --> Q, 取得 ~P 所以 ~Q
7 H9 r" s& I4 F4 t* w
0 S8 F% X8 W. [6 q1 R* e! U& o; yDisjunctive syllogism
7 J* Z! S4 H+ C, O( y, CP or Q, 取得 ~P 所以 Q
1 M3 _6 W( e( g8 jP or Q, 取得 ~Q 所以 P
9 _; g, |( _0 c! t9 l4 Z2 C* }/ b+ a% r: c
Conjunctive syllogism
1 u& _5 o# k5 {6 v" {5 N~(P & Q), 取得 P 所以 ~Q |: i. c0 b; I9 T; A
~(P & Q), 取得 Q 所以 ~P$ f7 a# w/ t, U% ^4 S) o
% E( V+ u ]0 T% L: {
Hypothetical syllogism. D* y7 o! b* R
P --> Q, 取得 Q --> R 所以 P --> R
( x- [) \- B& X3 s0 R; S& a6 r- b+ O" r; Y
De Morgan's theorem
$ s8 k. A& j7 B$ Z3 c/ @~(P & Q) 所以 ~P or ~Q5 X. w' M) s, @8 g) J
~(P or Q) 所以 ~P & ~Q |
|