- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
! p8 I: f* X! R xP --> Q, 因為 P 所以 Q1 h/ U3 [/ C3 |* H. I1 u: T4 E3 T$ u
& v- |6 x" R; `$ d/ z
Modus tollendo tollens
8 c: \; z/ k0 p0 `6 c, a: n5 oP --> Q, 取得 ~P 所以 ~Q
- m6 o9 a8 P5 X- G1 z2 M
8 {" R5 c+ h0 _' d" P6 |Disjunctive syllogism/ I' F# G" Q& u* @4 H
P or Q, 取得 ~P 所以 Q
8 T6 C8 }2 [* ^+ N7 K, eP or Q, 取得 ~Q 所以 P! l2 Y$ h N a
' ^0 E! h5 j- z6 T0 K
Conjunctive syllogism
; J8 [& [% r( ^0 H* z~(P & Q), 取得 P 所以 ~Q9 `8 |. U+ \: R8 Q# a: m# U7 C3 Y
~(P & Q), 取得 Q 所以 ~P+ t( |7 _. {" J# |2 m' L
- Z3 I9 T+ T5 Y! k& V5 B6 }: r
Hypothetical syllogism! i" m% h3 s0 z! m
P --> Q, 取得 Q --> R 所以 P --> R9 R" D! ]4 C( ~1 v9 l
* ?7 S+ a# G- L- s% tDe Morgan's theorem0 W' V1 V9 p4 P3 B& n: j3 r
~(P & Q) 所以 ~P or ~Q
* W2 B# Y2 A, a4 ~, K+ E5 f/ E~(P or Q) 所以 ~P & ~Q |
|