|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens$ h! r$ R! @ S7 T# J8 ~0 b
P --> Q, 因為 P 所以 Q* c/ G/ q& V& n* X6 ]3 b- m) j6 s+ q
: ~" s; a) Z& q2 x4 W; ^3 I
Modus tollendo tollens
' R, } L9 `/ B# h0 f5 CP --> Q, 取得 ~P 所以 ~Q
: H% u9 y, n) T5 B+ s, |/ U6 o4 o
: c0 h' J! w& i ~* KDisjunctive syllogism9 X' w' a0 U* u& n- h. o1 Q
P or Q, 取得 ~P 所以 Q
5 e! o* g/ g) M/ k( \0 s! ?" wP or Q, 取得 ~Q 所以 P
. K" J h/ H; \$ L2 [) }3 d8 R# ?4 U3 R/ H
Conjunctive syllogism
+ A5 N4 V$ B- j- G% a$ O7 z~(P & Q), 取得 P 所以 ~Q- b+ M3 V) i3 C" h$ H( a+ u
~(P & Q), 取得 Q 所以 ~P
7 H5 F) H- z+ N: o4 ?3 g; s5 C/ K+ `
Hypothetical syllogism7 s: z" c3 u3 Z( P' n
P --> Q, 取得 Q --> R 所以 P --> R0 |( q2 [- E6 h* ]. O( i
" ~$ u9 M& s! |- s
De Morgan's theorem- Y! @) T0 o1 R4 h) {1 i
~(P & Q) 所以 ~P or ~Q! V& s- E) N% q5 B8 W% W
~(P or Q) 所以 ~P & ~Q |
|