|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
g/ ^# U8 k9 A/ v! s7 FP --> Q, 因為 P 所以 Q# `7 p S# c6 V! O9 y
; [5 G, q# q# f, P+ z M0 c& g! jModus tollendo tollens& b% D9 X$ E/ V7 ^0 l
P --> Q, 取得 ~P 所以 ~Q( ]* ^& Z* g0 O" R8 c
# k$ U: X" h, ~( ?$ Z% T# K9 L
Disjunctive syllogism
9 v2 J8 j m8 v. I1 |P or Q, 取得 ~P 所以 Q* c% j' @8 ~) B4 T( q
P or Q, 取得 ~Q 所以 P! f& ]0 ~5 }0 ?) A% Q+ @" O* B
4 X0 r. e* Z& v5 v$ D* C# B' x) k! xConjunctive syllogism
! B: ~8 h& A9 ]1 P9 U~(P & Q), 取得 P 所以 ~Q
+ z6 s% ?$ ^. J~(P & Q), 取得 Q 所以 ~P
6 r( f0 K5 j( g+ i3 s) K' P. I' m2 [7 ?. p* K/ v6 t
Hypothetical syllogism
; M. c1 |. H" g1 f K' vP --> Q, 取得 Q --> R 所以 P --> R! T5 e7 m6 W) ]+ ~. T: r% u
) g9 x# X8 G$ `4 A! ]
De Morgan's theorem
7 f0 q+ _! Z; S: d~(P & Q) 所以 ~P or ~Q; A& |7 ^( D$ z
~(P or Q) 所以 ~P & ~Q |
|