|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
& X* \/ o2 c/ F5 N8 f# |/ m- T* ]P --> Q, 因為 P 所以 Q3 I/ c! r8 g3 Z6 E: N, {
; _7 e9 L2 S4 J
Modus tollendo tollens
! Z# J! A! ?/ p. A E- k3 PP --> Q, 取得 ~P 所以 ~Q) }, P, d9 G) x6 |8 B
& r, Q& u. c" e+ L4 L+ K
Disjunctive syllogism
" F" r/ @* @- x# `% S. `P or Q, 取得 ~P 所以 Q$ }6 A" C. f9 P% G6 X z
P or Q, 取得 ~Q 所以 P
/ z# [. b8 }: E' p7 y ?1 a9 S3 y( l9 V. g" e
Conjunctive syllogism8 E ~5 n" h% p& R; n& g. Z! o
~(P & Q), 取得 P 所以 ~Q, d( s* X& i0 `2 Y
~(P & Q), 取得 Q 所以 ~P
9 X# d; u! y* h& W9 F# d$ _8 q* R. Z) h
; \, N( n2 U; T8 z: ^Hypothetical syllogism/ v: ~. Z/ M" v7 K* f1 c
P --> Q, 取得 Q --> R 所以 P --> R
. ^3 O- ^& o, i
0 `7 ~" e# I0 FDe Morgan's theorem- {) W" M* d! V
~(P & Q) 所以 ~P or ~Q
% c+ L% Y6 u4 d~(P or Q) 所以 ~P & ~Q |
|