     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens# w$ Q: K6 c: r8 L; H
P --> Q, 因為 P 所以 Q
4 Y; z8 H3 n. p9 {- P
, o- c, d& L9 W) t* ^/ o5 zModus tollendo tollens {, G' }( x A
P --> Q, 取得 ~P 所以 ~Q8 N; c% X+ a" d3 K
& y3 @; M) T5 a a; ODisjunctive syllogism: Y0 I" H! l$ F
P or Q, 取得 ~P 所以 Q
- [: f' E/ P0 D/ @P or Q, 取得 ~Q 所以 P4 n" I6 F$ h3 O
/ I4 D+ I+ u, _5 h. Y& oConjunctive syllogism" c7 ?! |1 y% V. t
~(P & Q), 取得 P 所以 ~Q
6 e- E+ j- [, o4 L2 U, \, b~(P & Q), 取得 Q 所以 ~P! B7 a) ?1 q" p; @' s! S; A! M" n, `' X
! l7 O4 W; s$ P% l# |4 uHypothetical syllogism; t6 a: f$ m: {" r* w& U r2 y
P --> Q, 取得 Q --> R 所以 P --> R/ }) Y) |9 S. }: b
! U' d: { q. T0 M+ Y$ D- |De Morgan's theorem0 x9 u: V$ e6 ?" M7 W; `
~(P & Q) 所以 ~P or ~Q
1 n: y3 H n1 d9 L2 ?~(P or Q) 所以 ~P & ~Q |
|