|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
8 Z5 A0 @8 O6 ^( M/ u3 zP --> Q, 因為 P 所以 Q, X7 ^' e# ~& L' o3 L/ D, }
9 `& r' T3 b2 M4 R' {; ~Modus tollendo tollens! b. R& N P, D$ G4 _! H- G
P --> Q, 取得 ~P 所以 ~Q a! l. h( a i
" \. F6 ^& i1 LDisjunctive syllogism
8 P$ _# l2 k) H+ W; s+ G* k, ^- HP or Q, 取得 ~P 所以 Q4 |0 Q# M8 E) o! P2 N# h; X! O
P or Q, 取得 ~Q 所以 P
0 h0 {, H( {' d, U; I& {
2 ~0 |2 D0 Q9 l- E# j% x+ [% l$ nConjunctive syllogism
# f) Z3 K( Y( O6 w P~(P & Q), 取得 P 所以 ~Q5 R0 x9 Z$ J! A$ ~+ P# k! H5 q) u9 n/ d
~(P & Q), 取得 Q 所以 ~P. u9 G. j4 U. a; A* w7 m; W, w
: z; t! C" o H2 k" O+ @! I9 O+ R
Hypothetical syllogism3 I& J1 s* X8 M- \
P --> Q, 取得 Q --> R 所以 P --> R
* Y& y: k7 t) [$ @
2 e" x' C' {5 P& I9 c# CDe Morgan's theorem/ f i. k2 i0 ~5 f# I Q" P4 B
~(P & Q) 所以 ~P or ~Q
; r3 x: I1 U% m3 `( w- Z~(P or Q) 所以 ~P & ~Q |
|