     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens+ S9 F: F) j% M4 c- R0 t
P --> Q, 因為 P 所以 Q8 B: s s/ D8 q
7 [& z* r; Z- V" E b; o; o* \Modus tollendo tollens5 n$ @9 H% [5 D% r) t3 c
P --> Q, 取得 ~P 所以 ~Q t) X2 ?) r+ t( s
2 u+ ^5 n2 v1 V/ k! c; a! q5 }
Disjunctive syllogism
7 j! q R0 e0 ~6 W. GP or Q, 取得 ~P 所以 Q
; }" b3 _8 p0 o' {, I- @, z4 xP or Q, 取得 ~Q 所以 P! z& I9 L: D: T1 a) K
7 J" Y8 T6 ]: @) g# UConjunctive syllogism1 x2 v! T" P/ T# B8 c$ k5 E/ F
~(P & Q), 取得 P 所以 ~Q
+ T& h2 r( U# ]1 s% r# Z~(P & Q), 取得 Q 所以 ~P8 \' p2 w; Q! A
C- [& A; [% `- s( Y; m; D
Hypothetical syllogism3 ^/ ~8 o) }- k( t. e' n( M- z
P --> Q, 取得 Q --> R 所以 P --> R
! O' ^, U, t2 \' a% A
: s; ?! f6 e( y! k* E" vDe Morgan's theorem8 Q1 } v; f7 P- p$ b
~(P & Q) 所以 ~P or ~Q
( @: ~7 O3 v q" ^0 R# n~(P or Q) 所以 ~P & ~Q |
|