|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
$ C1 n4 G2 W8 {* UP --> Q, 因為 P 所以 Q# D2 a+ G5 `# T7 [" i+ o
. V2 ^$ a Z0 s/ ^ m1 B
Modus tollendo tollens1 m; i- Q1 O$ T* n, i9 a
P --> Q, 取得 ~P 所以 ~Q1 U; d8 u2 g0 P# {. V; M" e3 p! P
/ O& Q1 N1 K5 h0 K4 v( aDisjunctive syllogism, _7 A" r+ I; U$ s' x* L* h3 a
P or Q, 取得 ~P 所以 Q
, d; R7 Q% a @; fP or Q, 取得 ~Q 所以 P
6 ^5 c6 P) c$ k$ N2 X; T) o$ B( X, i
Conjunctive syllogism) t' T& H" w( L# k3 S5 x: s( N
~(P & Q), 取得 P 所以 ~Q5 R: `. Q- f) }2 w) Y9 x) M
~(P & Q), 取得 Q 所以 ~P
3 M8 N( N! L% x6 l: N* A, y' {; N3 f! B
Hypothetical syllogism. P+ I& l( U* p. H. i! o* W/ W- z) R
P --> Q, 取得 Q --> R 所以 P --> R; I7 C; o8 q, [! y: l# n# m7 X# U
/ f, |$ h& G9 B- T8 R, ~# }6 GDe Morgan's theorem
9 `# ~* j4 E/ g6 N~(P & Q) 所以 ~P or ~Q/ n4 b* U; n7 m8 g: X( }2 O$ ~
~(P or Q) 所以 ~P & ~Q |
|