|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
5 Z2 ^1 O* R# C/ q. z4 d1 m0 _8 B( |P --> Q, 因為 P 所以 Q
' F8 p y v2 l! Z: u$ o
+ e. Z; C* Y. [Modus tollendo tollens% d. t/ K% F/ N* A
P --> Q, 取得 ~P 所以 ~Q
- P- u" U& [/ P/ \. [1 K) w
% `+ D8 {/ b% o4 w+ s7 ~Disjunctive syllogism
) e5 u q. }* w: C3 T$ UP or Q, 取得 ~P 所以 Q" @% e o, s. U: j" ~
P or Q, 取得 ~Q 所以 P! f T+ D: x! N( ~3 C/ h
' Y* g f3 ^+ b" B$ DConjunctive syllogism. S* m, d& I( ]# ?, T
~(P & Q), 取得 P 所以 ~Q6 J2 _2 ^& Z0 T* A* h
~(P & Q), 取得 Q 所以 ~P
5 L7 N( h5 x/ Y- P5 q" t- z2 c7 q
( @" {& I% v2 ]9 D' pHypothetical syllogism
8 P8 k1 {# z- h" S1 x3 |# F9 LP --> Q, 取得 Q --> R 所以 P --> R
& @) u- e+ e7 Q6 c5 p9 N9 K. F
2 ?* j5 y$ k# TDe Morgan's theorem
" J) S2 C7 X4 A6 r~(P & Q) 所以 ~P or ~Q4 M0 H5 T; y# F+ }2 c/ i
~(P or Q) 所以 ~P & ~Q |
|