|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
4 [/ i3 E' ]: A- z' c% {: r3 oP --> Q, 因為 P 所以 Q/ E) S6 J0 S7 [0 x
6 p6 J# Q; X5 W
Modus tollendo tollens [% T% w8 Y; l: N: g9 R: h' I8 b( [
P --> Q, 取得 ~P 所以 ~Q/ M! n5 w" Z( Z) x- w: Z
# {- H5 `) @* y/ A7 _: G3 ]' fDisjunctive syllogism1 E+ J" \' z. R. d+ J5 x8 e) y5 d( D; }3 V
P or Q, 取得 ~P 所以 Q
m5 u/ w% ?* V$ v7 HP or Q, 取得 ~Q 所以 P
/ |; H \5 J" L) _, r+ [/ u, }3 G
Conjunctive syllogism* G% g1 s& Y6 T: s+ q7 Z8 t- U. E' T
~(P & Q), 取得 P 所以 ~Q( W8 u; n* @1 n5 |2 s4 @1 D
~(P & Q), 取得 Q 所以 ~P) r" L! _- i$ C# P/ _( W' j
; E) ~4 X) }& p) W9 AHypothetical syllogism
~1 N5 y7 Y0 WP --> Q, 取得 Q --> R 所以 P --> R
) G, g% F5 `% a6 p1 h n! `% G" z1 R; ^
De Morgan's theorem
( J+ O, p" R* M; a7 B+ s; i6 i~(P & Q) 所以 ~P or ~Q
' k z' T2 O& \# Z. g~(P or Q) 所以 ~P & ~Q |
|
