|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
& v' Y) E- m2 t2 Y3 s" l; e- EP --> Q, 因為 P 所以 Q
" ^- N# n7 u# s1 Q6 Z
! M# N( G/ O; xModus tollendo tollens& M. A, a9 y& k, b. o+ t7 E2 _
P --> Q, 取得 ~P 所以 ~Q
_0 y [& {# n8 P3 t# {! i
/ j) R! U* E+ }, a2 j& K9 GDisjunctive syllogism
" X$ Y8 d8 w, o0 J$ H) UP or Q, 取得 ~P 所以 Q
( S7 Z% h/ Y( S) u- u( XP or Q, 取得 ~Q 所以 P' h# G/ ~. v$ M" ]
; b/ Q7 w. J9 z2 J2 g5 @
Conjunctive syllogism. m [$ U$ t( H2 l% E( P( b) k0 S. K
~(P & Q), 取得 P 所以 ~Q
1 V1 c- V9 U; N~(P & Q), 取得 Q 所以 ~P
M$ O( {# l# [& J# J) C
3 ]" F' e+ b9 }# _7 {) r/ h8 DHypothetical syllogism
; V5 o2 v( ^. LP --> Q, 取得 Q --> R 所以 P --> R
# B$ z: U2 |% B
& u- ?% J+ v; f; GDe Morgan's theorem0 P3 _4 [1 O9 j& _' i$ ?. S
~(P & Q) 所以 ~P or ~Q2 n; C% U1 K6 }7 |% n- A) D
~(P or Q) 所以 ~P & ~Q |
|