|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens, z" S1 G9 p; d( M; @: n
P --> Q, 因為 P 所以 Q' S3 @4 X: q4 m' p3 a# A \
# I% m3 D/ l5 N
Modus tollendo tollens4 Q0 V7 q2 Y3 c3 z+ y/ @$ e
P --> Q, 取得 ~P 所以 ~Q
& N5 ^$ f0 `: l1 D1 I1 i1 x. |6 c4 r3 ~) i3 C( g
Disjunctive syllogism
: L1 Y$ @2 l0 E: yP or Q, 取得 ~P 所以 Q9 D# Q6 j" a4 o2 F g1 _
P or Q, 取得 ~Q 所以 P
0 L# f0 C% S; k* P G' x( \0 K& s" h8 F2 x1 }5 h' ~
Conjunctive syllogism
; ^3 ?5 q" R) Z( m; r" c X% m~(P & Q), 取得 P 所以 ~Q
' r, x3 Q' N" n~(P & Q), 取得 Q 所以 ~P) o- b7 H5 V% l' b8 W4 @
. E/ @+ B$ Q) e5 l- t# z) R2 BHypothetical syllogism
r, y! y/ E9 y" z4 h# j# PP --> Q, 取得 Q --> R 所以 P --> R/ |. d+ [7 _5 o6 c# p
& M9 U+ }/ F+ E. _0 R4 I5 |! q/ ^4 FDe Morgan's theorem
, g. e% T4 w) ~9 ~~(P & Q) 所以 ~P or ~Q! u: s, j$ \! X$ u, }- G
~(P or Q) 所以 ~P & ~Q |
|
