Académique Documents
Professionnel Documents
Culture Documents
U
S
A Todo S es P.
_
SP
SP
_
SP
_
SP = 0
U
S
E Ningn S es P.
_
SP
SP
_
SP
SP = 0
Algn S es P.
_
SP
*
SP
_
SP
SP 0
U
S
O Algn S no es P.
_
SP
SP
_
SP
_
SP 0
Inferencias inmediatas
Conversin simple
E Ningn S es P.
E SP=0
Ningn P es S.
PS=0
Algn S es P.
Algn P es S.
Ecuaciones:
Contraposicin
A Todo S es P.
Todo no-P es no-S.
O Algn S no es P.
Algn no-P no es no-S.
SP0
PS0
Ecuaciones:
_
A SP=0
_=
PS=0
_
O SP0
_=
PS0
Lgica de clases
Propiedades
Conmutatividad de la interseccin: =
=
Propiedad involutiva de la complementariedad: =
Regla de reemplazo
Si es una expresin contenida en la ecuacin , y = ,
entonces puede reemplazar a en la ecuacin .
Ejemplo:
(1)
SP = 0
(2)
P=M
Reemplazamos (1) en (2), y obtenemos
(3)
SM = 0.
SP = 0.
Por la conmutatividad de la
interseccin, tenemos que
(2)
SP = PS.
PS = 0 .
SP 0.
Por la conmutatividad de la
interseccin, tenemos que
(2)
SP = PS.
PS 0.
S = S.
Finalmente, reemplazamos
(4) en (3), para obtener
_=
(5)
PS = 0.
Esta ecuacin expresa que
todo no-P es no-S.
Por lo tanto, si todo S es P
entonces todo no-P es no-S.
S = S.
Finalmente, reemplazamos
(4) en (3), para obtener
_=
(5)
PS 0 .
Esta ecuacin expresa que
algn no-P no es no-S.
Luego, si algn S no es P,
entonces algn no-P no es no-S.