     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens9 V O, j( w; E$ V2 N t/ M2 |
P --> Q, 因為 P 所以 Q
! e# b/ B# A R- b7 H
* k2 s, @) l* t0 G: [8 G5 uModus tollendo tollens7 m( E3 R5 x/ E m* K5 U
P --> Q, 取得 ~P 所以 ~Q. q+ C4 k& x. h9 P. S% z: q
2 K# q. P) ~9 h* CDisjunctive syllogism
' ^& R8 r: [2 d+ [* TP or Q, 取得 ~P 所以 Q* @ [$ ~$ V& r" Y9 M/ o5 K; l1 Z4 G
P or Q, 取得 ~Q 所以 P) R0 }! e" u1 H* S6 h3 T4 E5 Z# h
9 ]$ K0 c0 M* V7 r9 ?. r! w
Conjunctive syllogism
. H' {8 p" r( X& w. s) l8 e~(P & Q), 取得 P 所以 ~Q% J, n+ q+ N, j0 p+ q" d3 E
~(P & Q), 取得 Q 所以 ~P: Z. x% O( M% u. u) \1 q
! U* M/ b7 g- X# p' g; JHypothetical syllogism
: s# Q- _; V' c# @0 n. VP --> Q, 取得 Q --> R 所以 P --> R
9 R! a4 _3 p. x) k4 `, u
. P5 F+ ?! ?$ BDe Morgan's theorem' B: a& ]% I7 i0 X( z' _3 f
~(P & Q) 所以 ~P or ~Q! }: n, H6 x3 B; X) t7 ^
~(P or Q) 所以 ~P & ~Q |
|