Trabajo Práctico N°3: Lógica de Predicados

A. Lógica Clásica
Funciones proposicionales. Cuantificadores
El símbolo P(x) es la representación de un predicado o propiedad relativos al objeto indeterminado x,
perteneciente a cierto universo o conjunto.
Función Proposicional en una variable x es toda oración en la que figura x como sujeto u objeto directo, la
cual se convierte en proposición para cada especificación de x.
Por ejemplo. P(x): “El número x es impar”
Se presentan también funciones proposicionales con dos o más variables.
Por ejemplo. P(x,y): “x divide a y”
A partir de una función proposicional se pueden obtener proposiciones de dos maneras:
1) Especializando la variable: Asignando un valor a la variable.
Fijado un marco de referencia, al especializar las variables de una función proposicional usando cualquier
elemento de ese dominio, se obtiene una proposición.
Ejemplos: En el conjunto de los números enteros:
a- Dada la función proposicional: P(x) : “El número x es impar”
P(5): “El número 5 es impar” resulta una proposición verdadera
P(2): “El número 2 es impar” resulta una proposición falsa.
b- P(x,y): “x divide a y”
P (2,14): “2 divide a 14”,resulta una proposición verdadera.
P(3,14): “3 divide a 14” ,resulta una proposición falsa.
2) Usando cuantificadores: A partir de funciones proposicionales es posible obtener proposiciones
generales mediante un proceso llamado de cuantificación. Asociados a la variable x, introducimos los
símbolos: x (para todo x) y x (existe x) llamados cuantificadores universal y existencial
respectivamente.
Elegido un conjunto como marco de referencia y anteponiendo estas expresiones a una función
proposicional, se obtiene una proposición, que es verdadera:
- Mediante el cuantificador universal, si P(x) es verdadera para cada x del universo del discurso.
- Mediante el cuantificador existencial, cuando existe al menos un elemento para el cual P(x) es
verdadera.
Ejemplos: En el conjunto de números naturales:
a) P(x) : “El número x es impar”
La proposición: x : x es impar. Es una proposición que es falsa, pues hay números enteros que no
son impares, pero la proposición: x / x es impar es verdadera, pues hay números enteros que son
impares.
b) P(x,y): “x divide a y”
La proposición: x : y / x divide a y es verdadera, ya que para cada número natural se puede
encontrar otro (por lo menos uno) al cual el primero divida.
Pero la proposición: x, y: “x divide a y” es falsa, porque no es cierto que tomando dos números
cualesquiera siempre el primero divide al segundo (por ejemplo, tomando x= 2, y=5, porque no es
cierto que 2 divide a 5.)

Negación de proposiciones cuantificadas

La negación de una función proposicional cuantificada universalmente es la proposición que se obtiene
cambiando el cuantificador por el existencial, y negando la función proposicional.
~  x : P ( x)  x / ~ P( x)

Observar que ello es así porque negar que P se cumpla para todos los elementos de cierto conjunto,
equivale a afirmar que no se cumple por lo menos para uno.
La negación de una función proposicional cuantificada existencialmente es la proposición que se
obtiene cambiando el cuantificador por el universal y negando la función proposicional.
~  x / P ( x)  x :~ P ( x)
Observar que ello es así porque, negar que P se cumple por lo menos para un elemento de cierto
conjunto, equivale a afirmar que no se cumple para ninguno.

Silogismos categóricos

Se llama silogismo a un razonamiento deductivo que posee dos premisas y una conclusión. Todo silogismo tiene
3 términos que se identifican por su ubicación.
Término mayor: Es el que figura en el predicado de la conclusión y se simboliza con la letra P. Determina la
premisa mayor, que por este motivo se ubica primera.
Término menor: Aquel que es sujeto en la conclusión y se simboliza con la letra S. Determina la premisa menor,
que se ubica segunda.
Término medio: Es aquel que no aparece en la conclusión, sino en las dos premisas y se simboliza con la letra M.
Formas de un silogismo: Según sea la conclusión, el silogismo puede ser de una de estas cuatro formas:
A: Todo S es P. E: Ningún S es P.
I: Algún S es P. O: Algún S no es P.
Figuras de un silogismo: A su vez, según sean las premisas, el silogismo responde a una de las siguientes
figuras:
Figura Premisa 1 Premisa 2 Conclusión
1 M-P S-M
2 P-M S-M
S-P
3 M-P M-S
4 P-M M-S
Combinando formas y figuras, pueden construirse 64 silogismos distintos.
Distribución
La distribución señala el alcance de los términos de cada proposición. Una proposición distribuye un término
cuando hace referencia a todos los integrantes de la clase a la que hace referencia dicho término. Entonces:
 A: Todo S es P. Distribuye el sujeto.
E: Ningún S es P. Distribuye el sujeto y el predicado.
I: Algún S es P. No distribuye nada.
O: Algún S no es P. Distribuye el predicado.

Reglas para determinar la validez de un silogismo:

1) Si la conclusión es una negación, una de las premisas debe ser una negación, y recíprocamente.
2) El término medio debe ser distribuido en, por lo menos, una premisa.
3) Si un término es distribuido en la conclusión, entonces, debe ser distribuido en una premisa.
4) Al menos una premisa debe ser afirmativa.
5) Si una premisa es particular (cuantificada existencialmente), la conclusión debe ser particular.
6) Si ambas premisas son particulares, entonces no hay conclusiones válidas.
 Ejercicios
1) Dadas las siguientes funciones proposicionales, con dominio en el conjunto de los números enteros:
* P(x): x es mayor que 2
*S(x): x es un número primo
* Q(x,y): x + y = 0
* R(x,y): x es mayor que y

a) Obtener dos proposiciones verdaderas, especializando las variables.

* P(3): 3 es mayor que 2 * P(5): 5 es mayor que 2
*S(5): 5 es un número primo *S(7): 7 es un número primo
* Q(-2,2): -2 + 2 = 0 * Q(-5,5): -5 + 5 = 0
* R(-3,-5): -3 es mayor que -5 * R(3,-5): 3 es mayor que -5

b) Obtener una proposición falsa y otra verdadera, usando cuantificadores.

Verdadera: Falsa:
x  Z / x  2 xZ : x  2
x  Z / x es primo x  Z : x es primo
x  Z / y  Z / x  y  0 x  Z / y  Z : x  y  0
x  Z / y  Z / x  y x  Z / y  Z : x  y

c) Hallar las proposiciones cuantificadas equivalentes a las negaciones de las que obtuvo en b).
x  Z : x  2 x  Z : x  2
x  Z : x no es primo x  Z / x no es primo
x  Z / y  Z : x  y  0 x  Z : y  Z / x  y  0
x  Z , y  Z : x  y x  Z : y  Z / x  y

2) Dadas las siguientes proposiciones cuantificadas:

a)
b) x  N : x  1
c) x  Z / x  0
d) x  Z / y  Z : x. y  0
x  R : x  0
e)
f) x  R : y  R / x. y  1
x  Q / x  3
Expresarlas en lenguaje coloquial, determinar su valor de verdad y luego obtener las proposiciones
cuantificadas equivalentes a sus negaciones.
a) Todos los números naturales son mayores que 1. Falso.
b) Hay un número entero positivo. Verdadero.
c) El producto de un número entero por cualquier otro es cero. Verdadero
d) El valor absoluto de todo número real es mayor o igual que cero. Verdadero
e) Para cualquier número real, hay otro que multiplicados dan 1. Falso. (0)
f) Hay números racionales mayores que 3. Verdadero

Negaciones:
a)
b) x  N / x  1
x  Z : x  0
 c) x  Z : y  Z / x. y  0
d) x  R / x  0
e)
f) x  R / y  R : x. y  1
x  Q : x  3
3) Dadas las siguientes proposiciones cuantificadas:
a) Alguien caminó por la playa
b) Todos los correntinos son amigables.
c) Algunos números enteros no son naturales.
d) Ningún estudiante es generoso.
e) Algunas primaveras son calurosas.
i) Determinar en cada caso la función proposicional asociada a la proposición dada.
ii) Escribir las proposiciones equivalentes a sus negaciones.

a) Nadie caminó por la playa.

b) Algunos Correntinos no son amigables.
c) Todos los números enteros son naturales.
d) Algunos estudiantes son generosos.
e) Todas las primaveras no son calurosas = Ninguna primavera es calurosa.

4) Dados los siguientes silogismos categóricos:

a) Identificar, en cada caso, los términos mayor, medio y menor.
b) Determinar a qué forma y figura corresponde cada uno de los silogismos dados.
c) Determinar cuáles de los silogismos dados son formalmente válidos, justificando las respuestas.

i) Algunos argentinos son solidarios

Algunos generosos son argentinos
Algunos generosos son solidarios

Término mayor P: solidarios

Término menor S: generosos
Término Medio M: argentinos
Forma: I Figura: 1 No es válido (1)

ii) Todos los que vuelan son aves

Todos los pájaros cantores vuelan
Todos los pájaros cantores son aves

Término mayor P: aves

Término menor S: pájaros cantores
Término Medio M: vuelan
Forma: A Figura: 1. Válido

iii) Todos los honestos son solidarios

Algunos solidarios son políticos
Algunos políticos son honestos

Término mayor P: honestos

 Término menor S: políticos
Término Medio M: solidarios
Forma: I Figura: 4 No es válido (2)

iv) Ningún correntino es atento

Algunos bondadosos son correntinos
Algunos bondadosos son atentos

Término mayor P: atentos

Término menor S: bondadosos
Término Medio M: correntinos
Forma: I Figura: 1 No es válido (1)

v) Algunos imprudentes son necios

Ningún profesor es imprudente
Algunos profesores son necios

Término mayor P: necios

Término menor S: profesores
Término Medio M: imprudentes
Forma: I Figura: 1 No es válido (1)

vi) Todos los artistas son ególatras

Algunos artistas son indigentes
Algunos indigentes son ególatras

Término mayor P: ególatras

Término menor S: indigentes
Término Medio M: artistas
Forma: I Figura: 3 Válido

vii)Todos los perros son mamíferos

Todos los gatos son mamíferos
Todos los gatos son perros

Término mayor P: perros

Término menor S: gatos
Término Medio M: mamíferos
Forma: A Figura: 2 No es válido (2)

5) Dadas las dos premisas de un silogismo, escribir si es posible, una conclusión de modo que el silogismo
resulte formalmente válido, justificando tus respuestas.

a) Todos los graduados universitarios son científicos

Algunos atletas son graduados universitarios
Algunos atletas son científicos

b) Algunos músicos son fanáticos del béisbol

Algunos ciudadanos son fanáticos del béisbol
 No hay conclusiones válidas (6)

El ejercicio c) que estaba no va .

c) Todos los generosos son correntinos

Algunos correntinos son solidarios
No válido (2)

6) Dada una premisa y la conclusión de un silogismo, escribir si es posible, la otra premisa, de modo que
el silogismo resulte formalmente válido, justificando tus respuestas.
a)

Ningún héroe es cobarde

Todos los soldados son cobardes
Conclusión: Ningún soldado es héroe

b)
Todos los correntinos son generosos
Algunos rubios son correntinos
Conclusión: Algunos rubios son generosos

7) Dadas las proposiciones cuantificadas:

c) “Todos los días, todas las ventanas de todas las casas del pueblo están abiertas”
d) “Algunos años, algunas plantas de algunas especies, no producen flores”
Escribir su negación en lenguaje coloquial.
Determinar la función proposicional asociada a la proposición dada.

B. Lógica Difusa
La Lógica Difusa permite representar el conocimiento común, que es mayoritariamente del tipo
lingüístico cualitativo y no necesariamente cuantitativo, en un lenguaje matemático a través de la teoría
de conjuntos difusos y funciones características asociadas a ellos.
 Predicados vagos
Existen oraciones declarativas, tales que no pueden determinarse en forma inequívoca su valor de
verdad. Por ejemplo “Maradona es un buen DT”
Igualmente, si consideramos el predicado x es buen estudiante, evidentemente, no hay forma de que,
usando valores particulares de x, podamos convertir este predicado o función proposicional en una
proposición de la cual se pueda decidir en forma inequívoca, su valor de verdad.
Esta situación se presenta puesto que en este ejemplo estamos en presencia de lo que se suele llamar
un predicado vago.
Supongamos que determinamos que x es un buen estudiante si, y sólo si, x tiene promedio 10.
Entonces: a es un buen estudiante si, y sólo si, a  A = {x/ x tiene promedio 10}.
Luego, como Pablo Fernández (p) tiene 9.75 de promedio, p  A es decir, p  A’ o lo que es lo mismo,
Pablo Fernández no es un buen estudiante… ¿pero eso es cierto? Entonces que Pablo es un buen
estudiante o no es un buen estudiante, no es una tautología, así como que Pablo es un buen estudiante
y no es un buen estudiante, ya no constituye una contradicción.
Es decir, ya no podemos hablar de que una proposición es verdadera ó falsa, y de que si una
proposición es verdadera, su negación es falsa.
En definitiva, podemos considerar que existen grados de verdad de una proposición que incluye a un
predicado vago.
En consecuencia, podemos afirmar:
1. El principio del tercero excluido (p v –p) deja de ser una tautología.
2. p  - p deja de ser una contradicción.

Luego, una proposición P(a) ya no tiene sólo dos valores de verdad posibles (0 ó 1), sino infinitos:
cualquier elemento del intervalo real [0,1] es el grado de verdad de P(a) cuando P es un predicado
vago.
Subconjuntos borrosos

Dado A  E y la siguiente función de membresía o de pertenencia:  A~ : E → [0,1] /  A

~ (x) = y, donde

y es el grado de pertenencia de x a A.
Cuando  A ~ (x) = 0, es indubitable que x  A y si  ~ (x) = 1, no existen dudas sobre la pertenencia de x
A
al conjunto A.
~

Se llama subconjunto borroso o difuso de E al subconjunto de E X [0,1], dado por A  x,  A  
~ (x) / x  E .

Existen distintas metodologías para asignar grados de verdad a una proposición difusa o, lo que es lo
mismo, para asignar grados de pertenencia o membresía de un elemento a un conjunto borroso.

~ ~
Operaciones con conjuntos borrosos: Sean AyB dos subconjuntos borrosos de un cierto conjunto
nítido E.
 ~ ~ ) es el subconjunto borroso de E cuya función de
1) Complemento de A (que se denota mediante A
pertenencia es: x  E :  A~ ( x )  1   A ( x ).
~ ~ ~ ~
2) Unión de A y B (Notación: A  B ) es el subconjunto borroso de E cuya función de pertenencia es:
~ ~ ( x )  máx ~ ( x ),  ~ ( x ).
x  E :  A B A B
~ ~ ~ ~
3) Intersección de A y B (Notación: A  B ) es el subconjunto borroso de E cuya función de
~ ~ ( x )  mín ~ ( x ),  ~ ( x ).
pertenencia es: x  E :  A B A B
Las propiedades de inclusión, unión, intersección y complemento de conjuntos nítidos son válidas para
conjuntos borrosos, con excepción de las leyes del tercero excluido y de contradicción.

Asignación de grados de verdad a proposiciones difusas:

Volvamos al predicado vago x es un buen estudiante universitario. Para asignarle grados de verdad,
deberían valorarse diferentes atributos que permitirán determinar al buen estudiante, puesto que ya
vimos que uno sólo no es suficiente a tal fin (recordar el ejemplo de Pablo Fernández). Podría tomarse
como tales el tiempo que le lleva completar sus estudios, las calificaciones obtenidas, entre otras.

Una vez fijados los atributos, para asignar grados de verdad a una proposición difusa, se construye lo que
Garza Ríos y otros, denominan “perfil ideal”, utilizando la siguiente escala:

x (x)
0 No posee el atributo
0.1 Prácticamente no posee el atributo
0.2 El atributo es casi nulo
0.3 Bastante cercano a no poseer el atributo
0.4 Más cerca de no poseer el atributo que de poseerlo
0.5 Indiferente
0.6 Más cerca de poseer el atributo que de no poseerlo
0.7 Bastante cerca de poseer el atributo
0.8 Cercano a poseer el atributo
0.9 Prácticamente posee el atributo
1 Posee el atributo

Ejercicios

1) Se consideran tres conjuntos borrosos que representan, para seres humanos, los conceptos de joven,
edad intermedia y adulto, respectivamente. Estos conjuntos borrosos se presentan a continuación
mediante sus funciones de pertenencia 1,  2 y 3 , respectivamente:
  0 si x  20  x  60
 1 si x  20  x  20  0 si x  45
 35  x  si 20  x  35  x  45
  15 
1(x)   si 20  x  35 2 (x)   3 (x)   si 45  x  60
 15  60  x si 45  x  60  15
 0 si x  35  15  1si x  60
 1si 35  x  45


Determine el grado de verdad de las siguientes proposiciones, sabiendo que Javier tiene 29 años de edad y
Sandra 22:
a) Javier es joven.
b) Javier está en una edad intermedia y Sandra es joven.
c) Javier es adulto o Sandra está en una edad intermedia.
d) Sandra no es adulta.

a) 1(29) = (35 – 29)/15 = 0.4. El grado de verdad de la proposición es de 0.4.

b) 2(29) = (29 – 20)/15 = 0.6 1(22) = (35 – 22)/15 = 0.87
El grado de verdad de la conjunción es 0.6 (el mínimo de ambos valores de verdad)
c) 3(29) = 0 2(22) = (22 – 20)/15 = 0.13
El grado de verdad de la disyunción es 0.13 (el máximo de ambos valores de verdad)
d) 3(22) = 0. Luego, el grado de verdad buscado es 1 - 3(22) = 1. Entonces, es verdadera la proposición,
en el sentido de la Lógica clásica.

2) Sea E = {a, b, c, d, e} y los subconjuntos borrosos cuyas funciones de pertenencia se dan a continuación:

x a b c d e
 A%(x) 1 0 0.5 0.9 0.7
 B%(x) 0.8 0.6 0.2 1 0.8

Completar la tabla siguiente:

x a b c d e
 %(x) 0 1 0.5 0.1 0.3
A
 A%B%(x) 1 0.6 0.5 1 0.8
 A%B%(x) 0.8 0 0.2 0.9 0.7

3) Dado el predicado vago “P(x): x es amable”/gv(P(Lía))=0,42 y gv(P(Luis))=0,83.

Halle el grado de verdad (gv) de la proposición:
a) Luis no es amable. Solución: 1- gv(P(Luis))= 1 - 0,83 = 0,17
b) Lía y Luis son amables. Solución: gv(P(Lía))=0,42 y gv(P(Luis))= 0,83
El grado de verdad de la conjunción es 0,42 (el mínimo de ambos valores de verdad)

c) Lía o Luis son amables. Solución: gv(P(Lía))=0,42 ; gv(P(Luis))= 0,83

El grado de verdad de la disyunción es 0,83 (el máximo de ambos valores de verdad).
d) Si Luis no es amable, lía sí lo es.
 Solución: Luis es amable: gv(P(Luis))= 0,83
Lía es amable: gv(P(Lía))=0,42
Debido a la siguiente tautología: (p Þ q)  p v q , la implicación planteada es equivalente a la
disyunción: Luis o Lía son amables y el grado de verdad de la disyunción es 0,83.
e) No es cierto que Lía es amable pero Luis no. Solución:  (p  q)
Lía es amable: gv(P(Lía))=0,42; Luis no es amable: 1 - gv(P(Luis)) = 1 - 0,83 = 0,17
El grado de verdad de la conjunción es 0,17 y el resultado de la negación de la conjunción es
0,83.

4) Considerando el predicado vago “x es una persona alta” y el correspondiente subconjunto borroso real
(~A):
a) Proponer una función de pertenencia que represente a dicho concepto.
b) Representar gráficamente la misma.
c) Sabiendo que María mide 1,66; Juan 1,63 y José 1,72. Determinar el grado de verdad de:
*Juan no es alto.
*Juan o José son altos.
*José es alto y María no.
*Juan y María no son altos.
*Si josé no es alto, María sí lo es.

a) Una propuesta podría ser:

 0 si x  1,65

~ A : R   0,1 /  ~ A ( x)  10 x  16,5 si 1,65  x  1,75
 1 si x  1,75


c) Juan es alto:  (1,63) = 0

María es alta:  (1,66) = 10 . 1,66 – 16,5 = 0,1
José es alto:  (1,72) = 10 . 1,72 – 16,5 = 0,7
* Juan no es alto: 1- 0 = 1. Esta proposición es verdadera desde la lógica proposicional.
*Juan o José son altos: El grado de verdad de la disyunción es 0,7 (el máximo de ambos valores de
verdad).
*José es alto y María no: El grado de verdad de la conjunción es 0,9 (el mínimo de ambos valores de
verdad)
*Juan y María no son altos. El grado de verdad de la conjunción es 0,9 (el mínimo de ambos valores
de verdad)
*Si josé no es alto, María sí lo es: (p Þ q)  p v q , la implicación planteada es equivalente a la
disyunción: José o María son altos y el grado de verdad de la disyunción es 0,7.

5) Dado el predicado vago “x es un número real cercano a 10” y el correspondiente subconjunto borroso
real, ~A, cuya función de pertenencia se define:
  0 x  7,5  x  12,5
 x  7,5
 7,5  x  9,5
 ~ A : R   0,1 /  ~ A ( x)   2
12,5  x
 10,5  x  12,5
 2
 1 9,5  x  10,5

Determinar el grado de verdad de las siguientes proposiciones:

a) 7,81 es un número real cercano a 10.
b) 12,24 no es un número real cercano a 10.
c) 9,73 o 11,87 son números reales cercanos a 10.
d) Si 9,28 es un número real cercano a 10, entonces, 11,45 no lo es.

a)  (7,81) = (7,81 – 7,5)/ 2 = 0,155. El grado de verdad de la proposición es de 0,155.

b)  (12,24) = (12,5 – 12,24)/ 2 = 0,13. El grado de verdad de la proposición es de 0,13.
c)  (9,73) = 1  (11,87) = (12,5 - 11,87)/2 = 0,315
El grado de verdad de la disyunción es 1. (el máximo de ambos valores de verdad)
d)  (9,28) = (9,28 – 7,5)/ 2 = 0,89  (11,45) = (12,5 – 11,45)/ 2 = 0,525
(p Þq)  p v q , la implicación planteada es equivalente a la disyunción: 9,28 o 11,45 son
números reales cercanos a 10 y el grado de verdad de la disyunción es 0,89.

6) Un lavarropas de última generación que se acaba de instalar en un edificio lujoso, utiliza entre 1 litro y
15 litros de agua, dependiendo si las prendas a lavar están en una de las siguientes categorías: Limpio,
manchado y Sucio. Construir los conjuntos borrosos necesarios para representar las 3 posibles
categorías en que se encuentra una prenda para ocupar una determinada la cantidad de agua y
proponer una función de pertenencia acorde a cada una de dichas categorías.

7) Sea E = {0, 1, 2, 3, 4, 5, 6, 7} el conjunto formado por el número de hijos que puede tener una familia, y
el conjunto difuso D = { (0, 0.1), (1, 0.3), (2, 0.7), (3, 1), (4, 0.7),(5, 0.3), (6, 0.2), (7, 0.1) } que
corresponde al concepto de “número razonable de hijos que puede tener una familia”.
Hallar el grado de verdad de las siguientes afirmaciones:
a) Es razonable no tener hijos. Solución: El grado de razonabilidad de no tener hijos es 0,1.
b) Es razonable tener hijos. Solución: El grado de razonabilidad de tener hijos es 1 – 0,1 = 0,9.
c) Es razonable tener 3 hijos o 5 hijos. Solución: El grado de razonabilidad de la disyunción es el
máx {1 , 0,3} = 1.
d) Si es razonable tener 4 hijos, lo es tener 6.
(p Þq)  p v q , la implicación planteada es equivalente a la disyunción: Es razonable no tener 4
hijos o tener 5 hijos y el grado de verdad de la disyunción es el máx {0,3 , 0,2} = 0,3.

8) Considerando el predicado vago “x es un buen alumno en matemáticas” y el correspondiente

subconjunto borroso real (~A):
a) Proponer una función de pertenencia que represente a dicho concepto.
b) Representar gráficamente la misma.
c) Sabiendo que la nota alcanzada en matemáticas por Juan fue 8,75, la de Victoria 9,25 y David 6,50.
Determinar el grado de verdad de:
*Juan no es un buen alumno en matemáticas.
*Juan es un buen alumno en matemáticas y David no lo es.
* Si David no es un buen alumno en matemáticas, Juan si lo es.
* David o Victoria son buenos alumnos en matemáticas.

a) Una propuesta podría ser:

1 si x  9
x 7

 ~ A : R   0,1 /  ~ A ( x)   si 7  x  9
 2
0 si x  7