UNIDAD III: LGICA CUANTIFICACIONAL:

EL CALCULO PREDICATIVO:
La lgica de predicados llamada tambin Lgica Cuanticacional y
Lgica funcional, comienza distinguiendo dos clases de trminos: los que representan individuos
(gramaticalmente sujetos) y los que representan propiedades (gramaticalmente predicados).
Lgicamente se llaman argumentos y predicados respectivamente, de acuerdo al esquema:
Juan estudia
predicado
argumento
El predicado determina al argumento y es considerado por la lgica de predicados como una nota
o caracterstica del sujeto (comprensin del predicado).
CLASIFICACIN DE PROPOSICIONES PREDICATIVAS:
Las proposiciones que intervienen en este nuevo tipo de inferencia son atmicas predicativas. De
acuerdo a la cantidad del sujeto pueden clasificarse en
a. Singulares: el sujeto es un individuo.
Ejemplo:
Este hombre, Juan.
b. Universales: el sujeto indica la totalidad de individuos.
Ejemplo:
Todos los hombres.
c. Particulares: el sujeto seala una parte de los individuos.
Ejemplo:
Algunos hombres, ciertos compatriotas.
La cantidad del sujeto en estas proposiciones introducen nuevos elementos, los
cuantificadores, representados por los trminos todos y algunos. Estos nuevos elementos son
functores mondicos que determinan cuantitativamente a sus argumentos.
SIMBOLOS:
Los smbolos que introduca la Lgica de Predicados son:
Variables individuales: representan individuos indeterminados. Se emplean las ltimas
letras del alfabeto: x, y, z, .
Constantes individuales: representan individuos determinados. Se emplean las primeras
letras del alfabeto: a, b, c, d, .
Variables predicativas: significan predicados indeterminados: Se usan las letras
maysculas: F, G, H, K,.
Cuantificadores: sirven para generalizar a las funciones singulares. Pudiendo ser la
generalizacin universal o particular. Los cuantificadores son de dos tipos.
( ...) = universal

( ...) = existencial

Los smbolos

" " y " " se llaman cuantores.

SIMBOLIZACIN DE PROPOSICIONES:

Juan es universitario
A
F
Se simbolizan respectivamente

Alberto escribe
b
G

Fa: se lee: F de a
Gb: se lee: G de b
Estas expresiones: Fa y Gb representan proposiciones pues sus argumentos estn
simbolizados por constantes que significan individuos determinados de manera que se
pueden llamar verdaderas o flasas.
FUNCIN PROPOSICIONAL:
Las siguientes expresiones:
x es estudioso
x escribe
se simbolizan:
Fx
Gx
Fx y Gx son funciones proposicionales ya que los sujetos estn determinados por
variables que significan individuos indeterminados de manera que no se pueden decir ni
verdaderas ni falsas.
CUANTIFICACIN:
Una funcin proposicional simboliza la forma de una proposicin individual. Para
ampliar su significacin a ms individuos se le antepone los cuantificadores. As:
Fx = x estudia
( x )Fx = algunos x estudian
( x )Fx = todos los x estudian
TRANSFORMACION DE FUNCIONES EN PROPOSICIONES:
Hay dos maneras de transformar funciones en proposiciones:
a. Sustituyendo la variable por una constante:
Fx = funcin
Fa = proposicin
b. Anteponiendo un cuantificador a la funcin:
Fx = proposicin
( x )Fx = proposicin
( x )Fx = proposicin
Al anteponer un cuantificador a la funcin se ha especificado cuantitativamente el dominio
de la variable individual de manera que las expresiones resultantes pueden ser calificadas de
verdaderas o falsas ya que tienen un significado determinado.
PROPOSICIONES CUANTIFICADAS:
Simbolizacin:
Proposiciones
Todo x estudia=
Ningn x estudia
Algn x estudia
Algn x no estudia

Simbolizaciones
( x )Fx
( x ) ~ Fx
=
( x )Fx
=
( x ) ~ Fx
=

LEYES DE INTERCAMBIO DE CUANTIFICADORES:

( x ) Fx ~ ( x ) ~ Fx
( x ) Fx ~ ( x ) ~ Fx
( x ) ~ Fx ~ ( x )Fx
( x ) ~ Fx ~ ( x )Fx

Ejemplos:
Todos son Lgicos.
Algunos son lgicos.
Ninguno es Lgico.
Algunos no son Lgicos.
Regla:
Para intercambiar cuantificadores se suple uno con otro teniendo cuidado de cambiar de
signo tanto el cuantificador como a la funcin predicativa.
SIMBOLIZACIN DE LAS PROPOSICIONES TRADICIONALES:
Universal Afirmativa (A):
La proposicin:
Todos los leones son melenudos
Puede representarse funcionalmente
Para todo x, si x es len, entonces x es melenudo
( x )
Fx
Gx

Es decir, la frmula resultante es:

x (Fx Gx)
Universal Negativa (E):
La proposicin:
Ningn len es melenudo
Se representa funcionalmente
Para todo x, si x es len, entonces x no es melenudo
( x )
Fx
~Gx

Es decir, la frmula resultante es:

( x ) (Fx ~Gx)
Particular Afirmativa(I):
La proposicin:
Algunos leones son melenudos.
Se representa funcionalmente
Existe por lo menos un x tal que, x es len y x es melenudo
( x )
Fx
Gx

Es decir, la frmula resultante es:

( x ) (Fx Gx)

Particular Negativa(O):
La proposicin:
Algunos leones no son melenudos.
Se representa funcionalmente
Existe por lo menos un x tal que, x es len y x no es melenudo
( x )
Fx
~Gx

Es decir, la frmula resultante es:

( x ) (Fx ~Gx)
Ejercicios:

Simbolice y clasifique las siguientes proposiciones predicativas:

1. Scrates es ateniense.
2. Todos los nios son inocentes.
3. Ciertos polticos son demcratas.
4. Ningn filosofo es escptico.
5. Algunas justificaciones no son vlidas.
6. Descartes fue un brillante matemtico y un filsofo profundo.
7. Si ngel estudia obtendr su ttulo.
8. ngel estudia obtendr su ttulo si y slo si estudia.
9. Pablo lleg temprano a clase.
10. Algunos estudiantes son atentos.

Determine cules de las siguientes frmulas representan funciones y cules funciones

proposicionales:
1. Fx
2.

( x ) Fx

3.

Fx Gx

4.

5.

Fa ( x ) Gx
( x ) Fx Ga

Simbolice cuantificacionalmente:
1. Todas las secretarias son pelirrojas.
2. Ningn lcali es cido.
3. Algunos docentes son polglotas.
4. Algunos vertebrados no son mamferos.
5. Todos los problemas no son insolubles.
6. Todas las mujeres no son sinceras.
7. Las colegialas son romnticas.
8. Las estrellas brillan.
9. Los timbales y las campanas son instrumentos de percusin.
10. Los fsicos y los astrnomos son cientficos.
11. Ningn payaso que sea equilibrista es tmido.
12. Ninguna mujer indiscreta puede ser secretaria.
13. Ningn Filsofo es fantico del ftbol o del box.

14.
15.
16.
17.

No es el caso de que algunos caballos no sean equinos y mamferos.

No existen envidiosos que no sean infelices.
Ningn insecto es vertebrado. Por lo tanto, algunos no insectos no son invertebrados.
Todas las aleaciones de cobre son metales, pero ningn metal es no conductor. Luego,
todas las aleaciones de cobre son conductores.
18. Todos los jaenos son peruanos y Jos es jaeno. Luego, Jos es peruano.
19. Ninguna muchacha es bella si se maquilla.
20. Algunos alumnos aprobarn el curso si estudian.
5-6. Las proposiciones cuantificacionales universales que niegan el verbo copulativo (el que
une los dos predicados de la proposicin) se simbolizan con una negacin delante del
cuantificador.
7-8. Las oraciones que empiezan con un artculo se refieren a totalidades, por lo que
corresponde simbolizarlas con un universal.
9-13. La y del lenguaje natural en el antecedente de una proposicin de tipo universal se
simboliza con una disyuncin. Se utilizar una conjuncin cuando el antecedente conste de
dos predicados que deban cumplirse conjuntamente.
14-18. Aparecen proposiciones en las que la jerarqua principal no la tiene un cuantificador.
19-20. El condicional que aparece al final afecta slo al segundo trmino de las mismas.

LGICA DE CLASES:
NOCIONES SOBRE LGICA DE CLASES:
Se entiende por clase a cualquier tipo de coleccin de entidades con propiedades comunes.
Ejemplo:
- la clase de los jaenos
- La clase de los nmeros pares.
- La clase de los catlicos.
Tambin se puede usar como sinnimo de clase la palabra conjunto.
Se dice que los miembros de una clase o conjunto pertenecen a la clase dada.
Ejemplos:
1. Carlos es jaeno.
2. 11 es un nmero primo.
3. Martn es catlico.
En este caso Carlos, 11 y Martn son los miembros, y jaeno, nmero primo y
catlico son las clases consideradas.
As podemos afirmar correctamente que:
1. Carlos es miembro de la clase de los jaenos.
2. 11 es miembro del conjunto de los nmeros primos.
3. Martn es miembro dela clase de los catlicos.
Si reemplazamos cada uno de los miembros por las letras minsculas a, b y c
respectivamente y de igual modo cada uno de los predicados por las letras maysculas A, J
y C se tiene simblicamente:
a A se lee: a pertenece a la clase A
b J se lee: b pertenece a la clase J
c C se lee: c pertenece a la clase C
NOCIN DE CLASE: Una clase o conjunto es una entidad abstracta, an cuando sus miembros
son entidades concretas.
En los ejemplos: Carlos, 11 y Martn son entidades concretas mientras que los predicados
son entidades abstractas.
Formalmente se expresa:

x / Jx

A la clase de todos los individuos que tienen la propiedad de ser jaenos y se lee: para cualquier
x tal que x tiene la propiedad J, siempre y cuando J represente a los jaenos

REPRESENTACIN DE LAS CLASES EN LOS DIAGRAMAS

Clase Universal:
La clase Universal es la clase que contiene todo. Es el dominio de individuos a los que se
refiere, nuestro discurso. Es la clase que obra como universo de un determinado contexto, de ah
el nombre de universo del discurso.
Simblicamente se expresa por U, y formalmente se define como sigue:

U x / x x

y se lee: para cualquier x tal que x es idntico a x es satisfecho por cualquier elemento.
Ejemplo:
1. Si U = { 2 ,4 ,6 ,8 ,10} entonces cualquiera de las interpretaciones siguientes es verdadera con
respecto a U:
2 U ,

4 U ,

6 U ,

8 U ,

10 U

En el diagrama la clase universal se representa por un rectngulo, de la siguiente manera:

U

Clase Vaca:
La clase Vaca o nula es la clase que no tiene elementos. Es la clase que est implcitamente
incluida en todas clases.
Su smbolo es , formalmente se define:
= { x / x x}
y se lee: para cualquier x tal que x es diferente de x no es satisfecho por ningn elemento.
Ejemplo:
En el diagrama la clase vaca. Por ejemplo si a es una clase vaca, se tiene:

Y simblicamente se expresa:

A=

OPERACIONES CON CLASES:

En la Lgica de clases pueden efectuarse operaciones introduciendo las definiciones de
complemento, unin, interseccin y diferencia.
Complemento:
El complemento de una clase A es la clase formada por todos los miembros que no
pertenecen a A. El smbolo del complemento es y se coloca en la parte superior de la clase
que designa.
Formalmente se designa como:
A = { x / x x}
Y se lee: para cualquier x tal que x no es miembro de A.

Ejemplos:
1. si U = { 3 ,4 ,5 ,6 ,7 ,8 ,9} y A 3,5,6 , entonces A 5,7,8,9
2. si U = { rboles} y A = { pinos} , entonces A={todos los rboles q no son pinos]
Unin:
La unin o suma de dos clases A y B es la clase formada por todos los miembros que
pertenecen a A B a ambas clases.
Formalmente se define:

AUB = { /x x A x B}

y se lee: para cualquier x tal que x pertenece a A o x pertenece a B

B
AUB

Ejemplo:

1. Si

A = { 3,4,7,9} y B = { 5,6, ,9 12}

entonces

AUB = { 3 ,4 ,5 ,6 ,7 ,9 ,12}

Interseccin:
La interseccin de dos clases A y B es la clase formada por todos los miembros que
pertenecen a la vez a A y a B.
Formalmente se define:

AB = { /x x A x B}

y se lee: para cualquier x tal que x pertenece a A y x pertenece a B

A
x
AB

Ejemplo:
1. Si A = { 2 ,3 ,4 ,8}

y B = { 2 ,4 ,6 } entonces A B = { 2 ,4}

Diferencia:
Se llama diferencia de dos clases A y B es la clase formada por todos los miembros que son
de A y no pertenecen a B.
Formalmente se define:

AB = { /x x A x B}

y se lee: para cualquier x tal que x pertenece a A pero x no pertenece a B

B
x
A-B

Ejemplo:
1. Si A 1,2,3,4 y B 3,4,5,6 entonces A - B 1,2
RELACIONES ENTRE CLASES:
Entre las primeras relaciones se tienen la inclusin, la igualdad y la exclusin de clases.
Inclusin:
Se dice que una clase A est incluida en una clase B cuando todos los miembros de A son
miembros de B. tambin se dice que A es subclase propia de B
Formalmente se define:

A B x/ x A x B

y se lee: para cualquier x tal que si x pertenece a A entonces x pertenece a B

U

A
A

Ejemplo:
1. La clase de los animales mamferos est incluida en la clase de animales vertebrados.
Igualdad:
Se dice que una clase A es igual a una clase B cuando todos los miembros de A son
miembros de B y cuando todos los miembros de B tambin son miembros de A.
Formalmente se define:

A B x/ x A x B

y se lee: para cualquier x tal que si x pertenece a A si y slo si x pertenece a B

B
A

Exclusin:
Se dice que una clase A est excluida de una clase B cuando ningn miembro de A es
miembro de B.
Formalmente se define:

A B = { /x x A x B}

y se lee: para cualquier x tal que si x pertenece a A entonces x no pertenece a B

B
x
AB

Ejercicios:
1. Dados los conjuntos: U = { 1,2 ,3,4 ,5} , A = { 1,2 ,4} B = { 3,5} , C = { 1,3 ,5} . Calcular:
a. A
d. A C
b. A B
e. ( A B ) C
c. C-B
A = { 2 ,4 ,6 } B = { 6 ,8 ,10} ,
C = { 2 ,4 ,8 ,10} .
2. Dados los conjuntos: U = { 2 ,4 ,6 ,8 ,10} ,
Calcular:
a. ( A - B) ( A B )
d. ( A - B) ( A B)
b. ( A B ) ( B - A)
e. ( A B ) ( B C )
(
)
(
)
c. A B - B - A
f. ( A B C ) - A

g. ( A C ) ( B C)

h. ( C - A) - ( B - A)

CIRCUITOS LGICOS:
A un ensamblaje de interruptores automticos que permiten el paso de la corriente
elctrica o la interrumpen se denomina circuitos elctricos.
A un interruptor se puede representar por medio de una proposicin p y viceversa, de tal
manera que el valor de verdad de la proposicin p se identifique con el paso de la corriente en
este caso se dice que el circuito est cerrado y cuando el valor es falso con la interrupcin de
la corriente en este caso se dice que el circuito est abierto.
p
Circuito cerrado
(pasa corriente V)

p
Circuito Abierto
(No pasa Corriente F)

Observacin:
Para disear los circuitos elctricos, se usa la siguiente notacin.
El 1 indica pasa corriente
El 0 indica no pasa corriente
Luego en circuitos elctricos se usa como notacin:
El 1 en lugar de V
El 0 en lugar de F
En el diseo de esquemas de circuitos elctricos para representar a proposiciones
compuestas y viceversa consideramos dos clases de instalaciones: en serie y en paralelo.
DISEO DE CIRCUITOS ELCTRICOS EN SERIE:
Consideramos dos interruptores p y q conectados en serie:

Se observa que este circuito admite paso de corriente cuando estos dos interruptores p y q estn
cerrados, en cualquier otro caso no hay paso de corriente, es decir esta situacin corresponde a la
tabla de verdad de la conjuncin p y q
p
1
1
0
0

q
1
0
1
0

p q

1
0
0
0

En la tabla de verdad se observa que basta que uno de los interruptores este abierto 0
para que no circule corriente.

A la expresin p q se le llama Funcin Booleana del circuito en serie.

DISEO DE CIRCUITOS ELCTRICOS EN PARALELO:
Consideramos dos interruptores p y q instalados en paralelo.

Se observa en el circuito: para que circule corriente es suficiente que alguno de los interruptores
o ambos p o q est cerrado 1, y no hay paso de corriente si ambos interruptores estn abiertos
(ambos con el valor 0). Este circuito corresponde a la tabla de verdad de la disyuncin p q
. Es decir:
p
1
1
0
0

q
1
0
1
0

p q

1
1
1
0

A la expresin p q se le llama Funcin Booleana del circuito en paralelo.

rq
NOTACIN: A un interruptor p representaremos simplemente como:

Ejemplo:

OBSERVACIN: A una tautologa se representa mediante un circuito siempre cerrado (donde

la corriente siempre est circulando)
Ejemplos:
1. Construir el circuito lgico de las funciones booleanas:
pq
( p q ) r
{ [ ( r q ) p] ~ r} q
~ [ ( p ~ q ) ( p ~ r ) ~ ( r q ~ p) ]
2. Describir simblicamente el circuito:
r
p
~q
q

~r

3. Determinar la menor expresin que representa al circuito.

p
~p

p
~p

~p

~q

~q

p
~r

p
q
q

~p

~q
~p

~p

p
p

q
r

p
q

4.

Determinar los circuitos lgicos que representan a los siguientes esquemas moleculares.
( ~ p ) ( p ~ q )
p (q ~ p)
~ [ p ( ~ q r) ]
{ [ ( r q ) p] ~ r} q
( p q) [ ( ~ p q) ( p q) ]
[ ( p q ) p] [ ( p q ) ~ p]