ELEMENTOS DE COMPUTACIÓN

Y LÓGICA

2022 Lic. Mariela A. Velázque z

 Unidad N° 3 - Parte 1: Lógica de
Predicados. Funciones proposicionales.
Universo del discurso. Representación
simbólica. Cuantificadores: cuantificador
universal y cuantificador existencial.
Alcance de un cuantificador. Variables
libres y vinculadas.

Cátedr a de Elementos de Computación y Lógica

Repasemos lo visto

Razonamiento o argumento es un encadenamiento de

equivalencias lógicas e implicancias lógicas a partir de premisas
verdaderas que derivan deductivamente en una proposición
objetivo o conclusión

Razonamiento  El razonamiento se emplea para resolver problemas.

 Conformado por un grupo de premisas y una conclusión.
 Las premisas sirven como justificación de la conclusión.
 La lógica no estudia la verdad o falsedad de las premisas y la
conclusión, sino que estudia si la verdad de las premisas
implica la verdad de la conclusión

Cátedr a de Elementos de Computación y Lógica

Repasemos lo visto

El principio demostración directa es en la cual, a través de las

Método premisas, obtenemos la conclusión de un modo directo. Los las
Directo reglas de inferencias y equivalencias vistas son las herramientas
necesarias para comprobar la validez del razonamiento.

Métodos de  Reducción al absurdo consiste en:

Demostración
1. Negar la conclusión utilizando las leyes de la lógica.
Método
Indirecto 2. El conjunto de hipótesis ahora es de la forma P1 ∧ P2 ∧ … ∧
Pn ∧ ¬Q, es decir que ¬Q se añade como una hipótesis.

3. Del conjunto de hipótesis enunciadas en 2) obtener una

contradicción evidente

Cátedr a de Elementos de Computación y Lógica

Repasemos lo visto

Premisas Inconsistentes: Un conjunto de premisas se dice inconsistente si su

conjunción implica una contradicción.

Para probar la inconsistencia de un argumento basta con deducir una

contradicción a partir de las premisas. En la prueba de consistencia de
las premisas no se toma en cuenta a la conclusión.
Dado un razonamiento, se comprueba la consistencia o
inconsistencia de las premisas.
• Si es inconsistente, entonces por esa misma razón será
también inválido.
• Si es consistente, podrá ser válido o inválido.

Cátedr a de Elementos de Computación y Lógica

Lógica de Predicados

La lógica de predicados es una generalización de la lógica proposicional.

Existen situaciones en las cuales el cálculo proposicional no es suficiente para

representar todas las afirmaciones que se puedan expresar.

Por ejemplo, si se tiene una expresión como “x es menor que 2 ”, no se puede afirmar

si es verdadera o falsa. Pero en el momento en el cual se asocie a un valor en

concreto a la variable x, ya se podrá dar un valor de verdad a la expresión y la misma

ya será una proposición.

Cátedr a de Elementos de Computación y Lógica

Lógica de Predicados

Consideremos las siguientes proposiciones:

p: El perro es un animal.
q: El gato es un animal.
r: La vaca es un animal.

Las tres proposiciones tiene en común un predicado lingüístico “es un animal” y tiene diferente

sujeto. La frase “es un animal” esta dando una propiedad del sujeto.

Si escribimos: x es un animal.

Obtenemos una oración que no es una proposición dado que su valor

de verdad dependerá del valor que tome x.

Si x= “El perro” obtenemos la proposición: El perro es un animal

Cátedr a de Elementos de Computación y Lógica

Funciones Proposicionales

P(x): x es un animal
Siendo P una función Proposicional.

A las funciones proposicionales las denotamos con una letra mayúscula seguida de
la/s variable/s entre paréntesis.

Por ejemplo:

Q(x): x es menor que 2

siendo Q una función proposicional.

T(x, y): x = y+3

siendo T una función proposicional.

Cátedr a de Elementos de Computación y Lógica

CUANTIFICADORES

Los cuantificadores nos permiten construir proposiciones a partir de funciones proposicionales ya

sea particularizando o generalizando. Dada la función proposicional

P(x) : x es menor que 2

Podemos particularizar diciendo: Existe un número que es menor que 2.

En esta expresión estamos frente a un Cuantificador existencial, el símbolo que utilizaremos para
este cuantificador será: ∃
Entonces nuestra expresión la simbolizamos de la siguiente manera: ∃ x: P(x)

Podemos generalizar diciendo: Todos los números son menores que 2.

En esta expresión estamos frente a un Cuantificador Universal, el símbolo que utilizaremos para
este cuantificador será: ∀
Entonces nuestra expresión la simbolizamos de la siguiente manera: ∀ x: P(x)

Cátedr a de Elementos de Computación y Lógica

 LÓGICA DE PREDICADOS

Analicemos el siguiente ejemplo:

Todos los gatos tienen cola. Tom es un gato.
Por lo tanto Tom tiene cola

Tom es un gato. X es un gato

X= Tom Cola(x): x tiene cola Funciones
Tom tiene cola. X tiene cola gato(x): x es un gato Proposicionales

Todos los gatos tienen cola.

Cuantificador Universal: Todos.

Cátedr a de Elementos de Computación y Lógica

 Ejemplo:
Todos los gatos tienen cola. Tom es un gato.
Por lo tanto Tom tiene cola

• Para una Lógica de predicado de primer orden se necesita identificar:

Sujeto:
• Constante: individuos determinados
U = { Animales }
(Tom)
• Variable: individuos indeterminados o gato(x): x es un gato
genéricos (x) cola(x): x tiene cola
• Necesidad de cuantificadores
∀ x [ gato(x)  cola(x) ]
• Necesidad de un contexto, dominio o
Universo(animales) gato(Tom)

Predicado: cola(Tom)

• Propiedades o relaciones (tiene cola, es

un gato)

Cátedr a de Elementos de Computación y Lógica

Universo

• Universo del discurso o Dominio:

U={ Todos los elementos que se vana a tener en cuenta }

• El valor de verdad del cálculo de predicado depende del universo en consideración.

• Contiene individuos (elementos u objetos):

U={ e1, e2, …, en}

• Los individuos se representan con constantes individuales: Tom, 2, Juan, etc.

Identifican unívocamente a cada individuo.

• Esta formado por al menos un individuo.

Cátedr a de Elementos de Computación y Lógica

 Predicado

• Afirman o declaran algo acerca de los individuos, elementos u objetos del Universo
en consideración.

• Pueden tener uno o más argumentos:

P(x): x es par.
Q(x,y): x > y

• Ejemplo:
U={1,2,3} P(x): x es par P(2) ≡ Verdadero

Cátedr a de Elementos de Computación y Lógica

Cuantificadores

• Indican la frecuencia en que se aplica un predicado (propiedad o relación) para

los elementos del Universo.

• Cuantificador Universal ( ∀ ):
indica que un predicado es cierto para todos los elementos del U.

U={ 1,2,3 } P(x): x es par.

∀ x P(x) ≡ P(1) ∧ P(2) ∧ P(3) ≡F∧V∧ F ≡F

• Cuantificador Existencial ( ∃ ):
indica que un predicado es cierto para algunos elementos del U.

U={ 1,2,3 } P(x): x es par.

∃ x P(x) ≡ P(1) v P(2) v P(3) ≡FvVv F ≡v

Cátedr a de Elementos de Computación y Lógica

Ejemplos

Escriba en lenguaje lógico la siguiente aseveración

Todos aman a alguien.

L(x, y) = x ama a y
“Todos” requiere un cuantificador universal y “alguien” requiere un cuantificador
existencial.
∀x∃y L(x,y)
En palabras: para cada persona x, existe una persona y, tal que x ama a y.
Observe que, si cambiamos el orden de los cuantificadores:
∃x∀y L(x,y)

La expresión anterior no es es una interpretación correcta de la afirmación original.

Esta última afirmación es: Existe una persona x tal que para toda y, x ama a y.

Cátedr a de Elementos de Computación y Lógica

Negación del cuantificador universal

U={ 1,2,3 } P(x): x es par.

• Cuantificador Universal ( ∀ ):
indica que un predicado es cierto para todos los elementos del U.

∀ x P(x) ≡ P(1) ∧ P(2) ∧ P(3) ≡F∧V∧ F ≡F

¬ [∀ x P(x)] ≡ ¬ [ P(1) ∧ P(2) ∧ P(3) ] ≡ ¬ (F ∧ V ∧ F) ≡ ¬ F
∃ x ¬ P(x) ≡ ¬ P(1) v ¬ P(2) v ¬ P(3) ≡VvFvV ≡V

• Ejercicio: Negar la siguiente expresión ∀ x : (P(x)→Q(x))

¬ (∀ x:(P(x)→Q(x))) ≡ ¬ (∀ x) : ¬ (P(x) → Q(x))
≡ ∃x : ¬ (¬ P(x) v Q(x)) por equivalencia lógica
≡ ∃x : ( P(x) ^ ¬ Q(x) ) por Ley de De morgan y Ley de
involución

Cátedr a de Elementos de Computación y Lógica

 Negación del cuantificador Existencial

U={ 1,2,3 } P(x): x es par.

• Cuantificador Existencial ( ∃ ):

∃ x P(x) ≡ P(1) v P(2) v P(3) ≡FvVv F ≡V

¬ [ ∃ x P(x) ] ≡ ¬ [ P(1) v P(2) v P(3)] ≡ ¬ ( F v V v F) ≡ ¬ V

∀ x ¬ P(x) ≡ ¬P(1) ∧ ¬ P(2) ∧ ¬ P(3) ≡V∧F∧ V ≡F

• Ejercicio: Negar la siguiente expresión ∃ x : (P(x)→Q(x))

¬ (∃ x:(P(x)→Q(x))) ≡ ¬ (∃ x) : ¬ (P(x) → Q(x))

≡ ∀x : ¬ (¬ P(x) v Q(x)) por equivalencia lógica
≡ ∀x : ( P(x) ^ ¬ Q(x) ) por Ley de De morgan y Ley
de involución

Cátedr a de Elementos de Computación y Lógica

Tipos de declaraciones

• Singulares
Declara algo sobre constantes individuales del Universo.
Sócrates es mortal Mortal(socrates)

• Universales
Declara algo sobre cada miembro de una clase.
Ningún profesor es millonario ∀ x Profesor(x)  ¬Millonario(x)

• Particulares
Declara algo sobre algunos miembros de una clase.
Algunos jugadores son veloces ∃ x Jugador(x) ∧ Veloz(x)

Cátedr a de Elementos de Computación y Lógica

 Variables libres y vinculadas

Cuando un cuantificador se usa sobre una variable x o cuando se ha asignado un valor a esa
variable para obtener una proposición, se dice que la ocurrencia de esa variable es vinculada o
que la variable es vinculada; si no es así se dice variable libre.
La parte de la expresión lógica o fórmula de predicado a la cual se aplica un cuantificador recibe
el nombre del alcance del cuantificador.

Expresión lógica Variable Alcance del Variable Libre

Ligada cuantificador

∀x P(x) x P(x) -

∀x P(x, y) x P(x, y) y

∃x P(x) ^ Q(x) Primera x P(x) Segunda x

Cátedr a de Elementos de Computación y Lógica

Ejemplo Final

Todos los estudiantes de informática que leen libros de

informáticos reconocidos son listos

U = { personas }
E(x): x es estudiante de informática.
L(x): x es listo.
H(x): x lee libros de informáticos reconocidos.

∀x [ ( E(x) ∧ H(x) )  L(x) ]

Nota: esta formalización es correcta, pero menos expresiva.

Cátedr a de Elementos de Computación y Lógica

Ejemplo Final - Completo

Todos los estudiantes de informática que leen libros de

informáticos reconocidos son listos

U = { personas }
E(x): x es estudiante de informática.
L(x): x es listo.
H(x, y): x lee libros de y.
R(y): y es un reconocido informático. x variable
ligada

∀x ∃y [ ( E(x) ∧ H(x, y) ∧ R(y) )  L(x) ]

Variable
Ámbito del y variable
Cuantificada
Variable cuantificador ligada
Cuantificada
Cátedr a de Elementos de Computación y Lógica
¬q p v q
¬q

¬q
p v q

¬q Hasta la
próxima clase

p q p v q

V V V
V F V
F V V
F F F