     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens4 S$ `& V$ d% |5 K1 i
P --> Q, 因為 P 所以 Q& Q, v; P6 z* n! U0 N" ^
- F1 N- ~" {8 {2 Z* r
Modus tollendo tollens% e# Z' m) u6 D' J. e9 n$ O
P --> Q, 取得 ~P 所以 ~Q/ _+ Z; p+ O" g0 A0 i
9 G+ K* `9 K, }2 `
Disjunctive syllogism
, d# U9 r6 k& T p3 T& t+ @8 ?$ Q) D$ |P or Q, 取得 ~P 所以 Q
( e' B5 r+ q2 lP or Q, 取得 ~Q 所以 P" h. o' s" V8 `' ~0 v) p
8 |" C6 \9 E" }& y) G
Conjunctive syllogism
; O, e# g( a+ ?# C2 J~(P & Q), 取得 P 所以 ~Q' Y4 `/ N$ ^0 F" ~5 M
~(P & Q), 取得 Q 所以 ~P
! G: p2 P0 O( f% `( j. p7 w
" Z/ w5 U/ j& c4 w0 ?1 b: `Hypothetical syllogism* G% c. [ f, S# x" I5 h2 ^
P --> Q, 取得 Q --> R 所以 P --> R
( |4 k$ {5 Z n* P+ i/ e6 X7 l
. o" d3 K' P' _+ k$ r- Y. `De Morgan's theorem. x6 C/ o9 ?: v3 }% M" O
~(P & Q) 所以 ~P or ~Q
1 f( m2 b4 `; u, f1 ~, J* _2 e; J~(P or Q) 所以 ~P & ~Q |
|