|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens$ q0 M4 ]$ B1 ~! M
P --> Q, 因為 P 所以 Q
$ P0 F" O4 ]6 w% |' a8 v' x, E/ ~1 _
2 O, o* S9 i; U i( C6 NModus tollendo tollens
! X8 t& @) y/ g8 F7 v: [7 OP --> Q, 取得 ~P 所以 ~Q& _4 q- ?7 L0 \; L* Y* c
}- ?4 h1 E: [7 X& l
Disjunctive syllogism
) |; }$ q# N4 [: Q, OP or Q, 取得 ~P 所以 Q
8 J1 Z7 F/ Q' |: OP or Q, 取得 ~Q 所以 P3 J% Z! v" G% B+ P- z/ y' ~
7 f, P3 p; g! x" |# ^% x( k9 zConjunctive syllogism
/ u1 f2 n( O k* {: C6 N8 R9 M~(P & Q), 取得 P 所以 ~Q
- m b/ {1 v+ ~' {0 _~(P & Q), 取得 Q 所以 ~P" Y$ G/ w+ @/ p1 [6 K
4 r7 ^/ q# Y w6 C2 c9 t# CHypothetical syllogism
' Y8 p& U9 _8 H2 e( c$ ^% DP --> Q, 取得 Q --> R 所以 P --> R
2 _4 q5 i' h0 k0 E$ g3 ~
. h" V& u/ n! W- R7 U/ M( W7 VDe Morgan's theorem
; g3 C8 B n- S~(P & Q) 所以 ~P or ~Q5 ?5 K: N1 z0 ? y8 l
~(P or Q) 所以 ~P & ~Q |
|
