     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
7 r8 ^6 s3 t1 |; ~' P4 IP --> Q, 因為 P 所以 Q+ R4 \9 c- x$ U( G. f3 U
( o) y ^* w+ a- \5 ~
Modus tollendo tollens; m, ?4 U& O8 e# R% t B
P --> Q, 取得 ~P 所以 ~Q
8 e0 U& X$ i& Z7 h. T& m% y+ M$ a9 o/ b$ `
Disjunctive syllogism
; Q2 D" {/ Z9 R' EP or Q, 取得 ~P 所以 Q
+ r& D3 w/ b; bP or Q, 取得 ~Q 所以 P
8 T* c: e, r+ [2 ^3 P6 S5 S
9 M5 ]3 M1 d' ~4 KConjunctive syllogism
6 h _7 ^3 p. x) c M Z~(P & Q), 取得 P 所以 ~Q' q& X' {4 E, y: i
~(P & Q), 取得 Q 所以 ~P
7 N9 A. H. p/ c2 n d0 W
' f3 c( N3 g ?+ u& b* UHypothetical syllogism( @( Q( I# }7 v/ ]
P --> Q, 取得 Q --> R 所以 P --> R
; ^- s( n% f7 s4 f3 d! Q1 W# v' @3 ]0 U9 w
De Morgan's theorem, r9 V# T8 R4 Z9 i9 z8 B
~(P & Q) 所以 ~P or ~Q3 u3 b+ r9 L/ E2 W* l1 ?
~(P or Q) 所以 ~P & ~Q |
|