|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens* s& J$ f4 a+ ]2 @$ M9 E* S/ j
P --> Q, 因為 P 所以 Q
; J& f }( s0 N* |0 U( l @6 e: p$ E5 o: p& q
Modus tollendo tollens
) K, I$ p4 @! M, Q3 kP --> Q, 取得 ~P 所以 ~Q. q* l) P! L6 K
# |1 Y. O0 C& c6 l7 K0 H; ODisjunctive syllogism/ G9 e F# ^5 E
P or Q, 取得 ~P 所以 Q
6 e4 ^* R- e4 ]! q% LP or Q, 取得 ~Q 所以 P
& T2 x( T$ {% P- k. H9 b
5 G$ i Q5 B; YConjunctive syllogism6 Q2 i; [: y- M1 E0 [
~(P & Q), 取得 P 所以 ~Q. u# ~: {. \; z! i* R
~(P & Q), 取得 Q 所以 ~P+ I5 h, N h* F/ b% W
/ f6 n5 w# c4 t5 F# u. XHypothetical syllogism1 ^* a/ x6 E5 q( z4 G
P --> Q, 取得 Q --> R 所以 P --> R8 R6 P; v: d# C
6 }' P) ?* Z1 Q$ O3 e/ d8 K
De Morgan's theorem% q' Q: r( d5 n0 i4 D( @' _
~(P & Q) 所以 ~P or ~Q
7 o5 |+ ^9 w. @1 X. D~(P or Q) 所以 ~P & ~Q |
|