|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
5 \9 z/ W; b# x/ [& [& eP --> Q, 因為 P 所以 Q7 o! T8 e+ ?/ F3 e1 L* L
$ Z! S8 K9 m8 Q3 { a7 p! _1 N1 ^- ^% T
Modus tollendo tollens
. F. r3 A) |4 j0 G" u: ?5 sP --> Q, 取得 ~P 所以 ~Q- X/ n# ^9 I/ g
* y' o0 a$ J5 i8 X) U* e
Disjunctive syllogism
# m% U+ R, f3 }P or Q, 取得 ~P 所以 Q
7 i* X# a& K8 \4 JP or Q, 取得 ~Q 所以 P
* Q3 z {2 r7 `( I. N) I& C$ h, |- X! \/ y! S2 N& }2 I$ D
Conjunctive syllogism9 s0 E8 l5 p( A
~(P & Q), 取得 P 所以 ~Q
5 w, e& _7 z- X' G" F9 G+ N/ i~(P & Q), 取得 Q 所以 ~P! [% N1 ^' ^# [' C+ L" J; o
- P3 ~# S2 T: a/ iHypothetical syllogism ?) G$ K9 Z6 B
P --> Q, 取得 Q --> R 所以 P --> R
( `) }: K2 @3 l7 j; y, T9 C) a; \( L: D) h- H! J* J+ \0 J
De Morgan's theorem z/ |+ S& K8 g3 o: N3 N
~(P & Q) 所以 ~P or ~Q% W9 z: O8 t0 A; L
~(P or Q) 所以 ~P & ~Q |
|