|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
% G! J+ a2 _% _8 c& u7 HP --> Q, 因為 P 所以 Q# C4 ~! v% X* u8 a
. r/ q. y' @# m) t
Modus tollendo tollens
1 j5 ]' _" n+ t) Z( B' D iP --> Q, 取得 ~P 所以 ~Q
6 m# q" U8 |. ]- G- V* ~( m x! p; O0 |7 r3 K% N" n. ~& B+ A0 _1 W7 b
Disjunctive syllogism) e9 H- R1 Y$ g+ S7 ~$ J6 f7 L
P or Q, 取得 ~P 所以 Q, I; j _+ H. b) I/ U
P or Q, 取得 ~Q 所以 P
1 c; m4 \- i; J
0 b" G6 ]2 `" MConjunctive syllogism2 S; N8 i1 x( R$ z/ e8 Y( y
~(P & Q), 取得 P 所以 ~Q
% K- R: r5 L" N( ]4 e# _~(P & Q), 取得 Q 所以 ~P
8 a [& ?7 B. ?! _
5 G5 w9 ~; K& a" P7 N9 |: GHypothetical syllogism
0 f6 a, h, @- ~ O' k9 |+ AP --> Q, 取得 Q --> R 所以 P --> R
' ~0 Y" N- ]. E) p2 M# D5 K& j+ n
5 z, [5 f5 Q+ y. j; H5 |# b8 {# c" [De Morgan's theorem. p8 A: x# z- f7 q/ \6 E2 B. X
~(P & Q) 所以 ~P or ~Q
& M/ o( Y% f: Q~(P or Q) 所以 ~P & ~Q |
|