|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens6 ^ \% s* ~1 o( u. z- F
P --> Q, 因為 P 所以 Q! F! W# z. |' w
! P" A% O( b8 l1 o, FModus tollendo tollens
0 w5 T+ v$ ~% p% iP --> Q, 取得 ~P 所以 ~Q
! w/ c1 s6 n y7 W, y% A6 d0 w& M1 _1 q; A+ K) b: \* U
Disjunctive syllogism; d+ }$ V# }. U0 B! N! E
P or Q, 取得 ~P 所以 Q6 y* R" [: `0 K4 r# C; _
P or Q, 取得 ~Q 所以 P. ^; X* l# B3 f4 p( k
) X7 M& A! m9 j. i" WConjunctive syllogism" J. d3 X% W0 s' J
~(P & Q), 取得 P 所以 ~Q
, |, x& O8 T6 H2 j3 g~(P & Q), 取得 Q 所以 ~P9 C2 G# u. S7 D) }3 K: e4 c
7 }6 Z. u) e& H% \: [* qHypothetical syllogism
* f9 _* W6 F; a' {P --> Q, 取得 Q --> R 所以 P --> R
1 D* ^1 D$ O! u7 k0 V9 ~: {; S1 _& }
De Morgan's theorem
; ^% u+ U @6 k- o( |) z1 }~(P & Q) 所以 ~P or ~Q$ O& B% K) o% L0 ?% c& _/ t0 T
~(P or Q) 所以 ~P & ~Q |
|