Ecuaciones para las proposiciones universales

U
S

A Todo S es P.

_
SP

SP

_
SP

_
SP = 0

U
S

E Ningn S es P.

_
SP

SP

_
SP

SP = 0

Ecuaciones para las proposiciones particulares

U
S

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.

Demostrar que las proposiciones de tipo E

admiten conversin simple.
Sean S y P trminos de clase
cualesquiera.
Demostraremos que si
ningn S es P, entonces
ningn P es S, es decir:
SP = 0 PS = 0
Supongamos que ningn S
es P, es decir,
(1)

SP = 0.

Por la conmutatividad de la
interseccin, tenemos que
(2)

SP = PS.

Ahora reemplazamos (2) en

(1):
(3)

PS = 0 .

Esta ecuacin expresa que

ningn P es S.
Luego, si ningn S es P,
entonces ningn P es S.

Demostrar que las proposiciones de tipo I admiten

conversin simple.
Sean S y P trminos de clase
cualesquiera.
Demostraremos que si algn
S es P, entonces algn P es
S, es decir:
SP 0 PS 0
Supongamos que algn S es
P, es decir,
(1)

SP 0.

Por la conmutatividad de la
interseccin, tenemos que
(2)

SP = PS.

Ahora reemplazamos (2) en

(1):
(3)

PS 0.

Esta ecuacin expresa que

algn P es S.
Por lo tanto, si algn S es P,
entonces algn P es S.

Demostrar que las proposiciones de tipo A

admiten conversin contrapuesta.
Sean S y P trminos de clase
cualesquiera.
Demostraremos que si todo
S es P, entonces todo no-P
es no-S, es decir:
_
_=
SP = 0 PS = 0
Supongamos que todo S es
P, es decir,
_
(1)
SP = 0.
Por la conmutatividad de la
interseccin, tenemos que
_
_
(2)
SP = PS.

Ahora reemplazamos (2) en (1):

_
(3)
PS = 0.
Por la propiedad involutiva,
es cierto que
(4)

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.

Demostrar que las proposiciones de tipo O

admiten conversin contrapuesta.
Sean S y P trminos de clase
cualesquiera.
Demostraremos que si algn
S no es P, entonces algn
no-P no es no-S, es decir:
_
_=
SP 0 PS 0
Supongamos que algn S no
es P, es decir,
_
(1)
SP 0.
Por la conmutatividad de la
interseccin, tenemos que
_
_
(2)
SP = PS.

Ahora reemplazamos (2) en (1):

_
(3)
PS 0.
Por la propiedad involutiva
es cierto que
(4)

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.