|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens7 c7 T8 O4 ]0 K% K- `
P --> Q, 因為 P 所以 Q
- @" C% g6 U" g7 Z r2 Q- s5 H7 y `
Modus tollendo tollens( \7 q) `) y5 U. P
P --> Q, 取得 ~P 所以 ~Q
4 x6 U4 e* {$ C! V) l# H
8 y; p& ~* o. H: ?( CDisjunctive syllogism
) d9 @; j% S) u2 EP or Q, 取得 ~P 所以 Q# j1 \. u& B4 W1 V% l
P or Q, 取得 ~Q 所以 P
U2 E) m7 [% [3 L
: Y. ^) V" T& VConjunctive syllogism
9 O; f& b' E; m~(P & Q), 取得 P 所以 ~Q
4 B! d, W8 m1 ~# ]+ H~(P & Q), 取得 Q 所以 ~P c6 r2 a8 K" t9 z/ P
& l4 Y( A9 {: f* C) tHypothetical syllogism
! M( H! X% p, [% m. i4 P$ jP --> Q, 取得 Q --> R 所以 P --> R
; `& C: m6 T# C. y! k$ _7 ^+ ?# S2 s7 ]+ Z& k' O9 a- |
De Morgan's theorem
3 B5 t6 P3 f# {. z9 R6 ]! E6 s~(P & Q) 所以 ~P or ~Q Q* ~7 K0 A4 F b) G
~(P or Q) 所以 ~P & ~Q |
|