|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens( ~( c/ N, U5 ?
P --> Q, 因為 P 所以 Q+ E( L- J# G7 v2 O- M' h
- T9 ~7 E# @4 d3 l0 bModus tollendo tollens
- v2 e6 d/ x2 ]$ g N; J- dP --> Q, 取得 ~P 所以 ~Q* T8 q% t j" R e) S
5 X0 B. S. S7 L# _. i! [: D x
Disjunctive syllogism Q9 F8 @ f: W, f) M' k
P or Q, 取得 ~P 所以 Q
) l8 q5 \) o0 t- K1 T5 ~$ YP or Q, 取得 ~Q 所以 P
W! p% h% p3 O- t
: c: ?' R; E2 K g* ?9 c* E* Y0 MConjunctive syllogism. e9 U4 c. W0 r4 j0 |3 u/ I* w
~(P & Q), 取得 P 所以 ~Q) U: c* d' g6 ~5 Z9 A
~(P & Q), 取得 Q 所以 ~P& ~/ a( J5 U) z! H
% ]8 M8 N6 M0 X. |$ E" y9 t+ A
Hypothetical syllogism
5 k* l( S, A+ B/ D; J `* aP --> Q, 取得 Q --> R 所以 P --> R1 I/ V) x3 f4 d; N, i8 b( m! V9 ]( W
5 T2 ]" @/ S' xDe Morgan's theorem
! t5 O& Q( ~/ j6 M+ V6 `~(P & Q) 所以 ~P or ~Q
- i" d: x4 S; d! v~(P or Q) 所以 ~P & ~Q |
|