|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens' k4 t p5 c: x" o+ C3 `; V% Q
P --> Q, 因為 P 所以 Q
- i. x% r) P$ X' O4 v- z9 F" {$ g8 r% I3 B3 r+ H& v7 y! _
Modus tollendo tollens
1 }+ q1 S! `" _9 b& M: W0 rP --> Q, 取得 ~P 所以 ~Q
+ b% d4 B0 t% w" T) P
% _5 u: z5 Q) r; O, }Disjunctive syllogism) ^( m- @8 l6 x, l R' y! v* z- l) p
P or Q, 取得 ~P 所以 Q
2 b& C& H5 l- R" A, S8 B+ {P or Q, 取得 ~Q 所以 P
# S. F9 y, m: h0 `& ~( U) g/ O. M0 {3 r6 z
Conjunctive syllogism+ l1 \8 O$ F2 t! y- [
~(P & Q), 取得 P 所以 ~Q
4 T) ?# R+ D4 S1 A~(P & Q), 取得 Q 所以 ~P8 g6 C6 g e: L8 J! ^! A" z4 t
4 K5 ^" T' ^, D7 r2 C6 t: ^) g/ j
Hypothetical syllogism
6 z* A: b' c. C1 JP --> Q, 取得 Q --> R 所以 P --> R$ @8 c* O, @1 c
. @3 M; O( V) i" P# |2 HDe Morgan's theorem& G C/ N: ^% R A
~(P & Q) 所以 ~P or ~Q! ~* A9 Y% _. @0 y, H$ _
~(P or Q) 所以 ~P & ~Q |
|
