|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens7 l1 ~2 u5 z/ M$ e1 t0 }
P --> Q, 因為 P 所以 Q1 z+ o, b5 c7 B0 ^. J2 S! @
( A3 c+ C" C1 U8 _" iModus tollendo tollens
: m8 }7 \! p! E' G sP --> Q, 取得 ~P 所以 ~Q y3 W: L. z+ \$ }
, \( q* G5 ?% ~* A2 l+ P$ D- w
Disjunctive syllogism
/ ^- l9 F! l* H' H! X( }6 [8 N5 cP or Q, 取得 ~P 所以 Q0 j, i. z7 h- p" J
P or Q, 取得 ~Q 所以 P
7 q; d5 E1 W$ B$ X% a6 ~& D5 m- w' _2 \6 l- Z( M. v8 V7 [: |8 b0 `
Conjunctive syllogism/ ~) M) B0 B9 @. f; _1 `
~(P & Q), 取得 P 所以 ~Q
! A; g5 f! H7 E$ @+ l~(P & Q), 取得 Q 所以 ~P
# v% _6 w8 @3 g
( J) m% d, Q' H1 k9 q' pHypothetical syllogism/ E# s$ x" z+ x7 x# V( c% t
P --> Q, 取得 Q --> R 所以 P --> R' F: s1 \% s# b% p, o1 o
) D' j2 ?: v) v0 j! [De Morgan's theorem
: s3 R8 {; `4 _/ O2 x~(P & Q) 所以 ~P or ~Q3 ^5 p; k3 y" a A( V$ K
~(P or Q) 所以 ~P & ~Q |
|