|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
' [& n+ q6 }: [) n/ n) n! DP --> Q, 因為 P 所以 Q
4 Y/ {* w& I: p4 X; ]. B9 B3 k7 k/ c
Modus tollendo tollens
% @1 k- @8 C$ J( }P --> Q, 取得 ~P 所以 ~Q
# X5 L/ q; K* {& `4 N- n5 R- G9 h5 E$ S: j; }- S: N
Disjunctive syllogism
V, A, \* ] vP or Q, 取得 ~P 所以 Q
, n: @$ @! X4 q6 W" PP or Q, 取得 ~Q 所以 P4 {2 n- R# y" |7 G
' e% T/ Y( A/ ~4 u$ t/ Q G1 AConjunctive syllogism
2 _6 n+ d' L; ?: q) F! N~(P & Q), 取得 P 所以 ~Q! {3 V& Y$ I0 K- R2 r
~(P & Q), 取得 Q 所以 ~P" S+ g: u) d$ [* }8 V5 J4 ~( E. \1 Q
5 I# ]2 [' A, k! j7 I- ]( _Hypothetical syllogism. T' m5 z+ v4 U, D2 b
P --> Q, 取得 Q --> R 所以 P --> R
' }% J) B- W- _: ~8 [5 T
Z# Y4 L% D; q' L/ U% iDe Morgan's theorem
. M: l8 o! ~+ S. L: n~(P & Q) 所以 ~P or ~Q8 ~* g2 | u* Z3 T
~(P or Q) 所以 ~P & ~Q |
|