|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
6 H4 g; B. b8 }! i4 U2 d2 m: RP --> Q, 因為 P 所以 Q
2 a0 [# g V0 c* T+ V6 Q
5 m) H ^8 s/ Q+ b8 |Modus tollendo tollens# A* E) J5 N) ]
P --> Q, 取得 ~P 所以 ~Q
1 A( @( q+ c) i) E# ]4 ]# _5 i+ Z% G& m8 p" c7 T8 I
Disjunctive syllogism
. I5 m) _* T4 J6 r$ r; y7 c/ V( pP or Q, 取得 ~P 所以 Q2 D$ W$ d/ ^. Q
P or Q, 取得 ~Q 所以 P& p5 f+ v' D# b4 r0 a8 t/ W
& ~- k9 Y' w" W$ kConjunctive syllogism: z( \) U5 n5 _
~(P & Q), 取得 P 所以 ~Q/ [$ I: t+ e$ W3 |/ C& g
~(P & Q), 取得 Q 所以 ~P, f' I. P! Z3 L& K
2 v3 }6 e" n# I4 \3 _- w* MHypothetical syllogism
# S0 q* P1 E' @. ?) h ^" n* J/ WP --> Q, 取得 Q --> R 所以 P --> R
& U9 i: H* W- L. v
" M# |" w* B, n& w4 p$ v3 o2 I" q+ [De Morgan's theorem
! y3 `0 K1 O5 l* x~(P & Q) 所以 ~P or ~Q. M" I, ], H q; @
~(P or Q) 所以 ~P & ~Q |
|