Lógica

Introducción a la programación
Ingeniería en sistemas de información
¿Qué es la Lógica?

 Es una disciplina que mediante reglas y técnicas estudia la forma del

razonamiento. Es indispensable en cualquier disciplina formal.
 En Matemática se emplea para demostrar teoremas; en Física, para dar
conclusiones de experimentos y, en la vida cotidiana, para cualquier
trabajo que se realiza (procedimiento lógico).
 En las ciencias computacionales:
 diseño y especificación de algoritmos,
 diseño de circuitos lógicos,
 enfoque para resolver cierto tipo de problemas (programación lógica),
 en inteligencia artificial,
 entre otras.
¿Porqué se necesita la Lógica?

 En el lenguaje natural, se presentan una infinidad de argumentos, en los

cuales se tiene que determinar la veracidad o falsedad de
enunciados complejos.
 Se busca formalizar la representación de diferentes argumentos, no
importando el origen de los mismos.
 Sintaxis precisa
 Semántica bien definida
Lógica Proposicional

 Pretende estudiar entidades gramaticales (proposiciones) que se unen a

otras para construir oraciones complejas.
 Una proposición es:
 oración declarativa (no interrogativa, no exclamativa y no imperativa)
 enunciado coherente que se puede evaluar, sin ambigüedades y en
determinado contexto.
 Por ejemplo:
 Esteban tiene una nueva moto. Correcto
 ¿A qué hora llega Juan?. Incorrecto
 Lógica Proposicional

 Identificar las proposiciones:

 Sofía fue campeona de tenis.
 ¿Qué hora es? - Interrogativa
 Formuló una pregunta difícil de responder.
 3+2=5
 ¡Ven a verme! Imperativa
 Dos números enteros distintos pueden sumar cero.
 ¡Ojalá apruebe el examen! Exclamativa
Lógica Proposicional

 Simples: tienen una única idea, es decir, una sola afirmación.

 - 6 es un número entero.
 Julia se compró un auto nuevo.
 Compuestas: tienen dos o más proposiciones simples.
 San Luis está en Argentina y Argentina está en Sudamérica.
 Si x² = 4 entonces x=2 ó x=-2.
Lenguaje de la Lógica Proposicional
(Cálculo Proposicional o Cálculo de Predicados de Orden 0)

 Sintaxis: cómo definir fórmulas bien formadas (fórmulas como cadenas de

símbolos). Alfabeto
 Semántica: cómo interpretar esas fórmulas, es decir, cómo asignarles un
valor de verdad (fórmulas como enunciados que pueden ser verdaderos o
falsos). Valuaciones
Lenguaje de la Lógica Proposicional

 Alfabeto para construir enunciados acerca del mundo:

1) Conjunto infinito (numerable) de cadenas de símbolos que comienzan
con mayúsculas (Es_verano, Hace_calor, Ana_es_estudiante, etc.)
Usualmente se usan letras mayúsculas: A, B, C, …, Z, … y se denominan
variables de enunciado o proposicionales (A: Es_verano, B: Hace_calor,
...)
2) Símbolos de Conectivas u Operadores Lógicos: ¬ (no), ∧ (y); ∨ (o), →
(implicación), ↔ (doble implicación).
3) Paréntesis: (, ).
Sintaxis de las proposiciones

 Definido el alfabeto del lenguaje, es necesario contar con reglas

gramaticales que nos permitan construir fórmulas bien formadas (fbf).
Sintaxis de las proposiciones
Sintaxis de las proposiciones

 No siempre las operaciones lógicas se aplican a fórmulas atómicas ( ¬ ) o a

pares de fórmulas atómicas ( ∧ , ∨ , → , ↔ ), por lo que es necesario
agrupar las fbf compuestas entre paréntesis para tratar al grupo como
una unidad respecto al operador lógico.
 Regla Sintáctica
 “Una conectiva afecta directamente a la fbf atómica inmediatamente
siguiente después de ésta, o al conjunto de fbf agrupadas entre paréntesis
inmediatamente después de ésta”
Sintaxis de las proposiciones

 Regla sintáctica de jerarquía: permite definir una jerarquía entre las

operaciones lógicas, ordenándolas por orden de prioridad y de esta forma
puede evitarse el uso redundante de paréntesis.
Sintaxis de las proposiciones

 Siempre que se construya una fbf, si se aplica la regla sintáctica de

jerarquía, no debe alterarse el orden original de aplicación de los
operadores.
Construcción de enunciados en el
Cálculo Proposicional
 La traducción del lenguaje natural al formal NO es simple.

 Tampoco hay reglas automáticas para hacerlo.

 Las reglas SON GENERALES combinadas con la INTUICIÓN.

Construcción de enunciados en el
Cálculo Proposicional
Construcción de enunciados en el
Cálculo Proposicional
 Proceso de traducción de una frase en lenguaje natural a una fbf:
 Paso 1: Identificar las entidades con estructura de oración declarativa.

 Paso 2: Descomponer la frase por niveles considerando la prioridad delas

conectivas.

 Paso 3: Obtener la fbf de manera abreviada.

Construcción de enunciados en el
Cálculo Proposicional
 “Si no estudio diariamente y voy a bailar todos los fines de semana,
entonces no obtendré buenas calificaciones en Introducción.”
 Paso 1: Identificar las entidades con estructura de oración declarativa
 Estudio_diariamente
 Voy_a_bailar_todos_los_fines_de_semana
 Obtendré_buenas_calificaciones_en_Introducción
Operaciones Lógicas
Equivalencias
Motivación de la Lógica de
Predicados
 La Lógica Proposicional maneja afirmaciones compuestas de ¬ (no), ˄(y), ˅ (o),
→ (si) y ↔ (si sólo si).
 En situaciones con un conjunto finito (pequeño) de elementos esto es
suficiente.
 Por ejemplo:
Si tenemos 3 estudiantes Maria, Sol y Pablo y queremos expresar la afirmación “existe
algún estudiante con ojos marrones”
P = Maria_tiene_ojos_marrones
Q = Sol_tiene_ojos_marrones
R = Pablo_tiene_ojos_marrones
la afirmación se puede representar por
P∨Q∨R
Motivación de la Lógica de
Predicados
Motivación de la Lógica de
Predicados
“Todas las personas son mortales”

En situaciones con conjuntos infinitos (muy grandes) necesitaríamos fórmulas

infinitas
Motivación de la Lógica de
Predicados
¿Cuándo se necesita la Lógica de
Predicados?
 Representar objetos y sus propiedades.
 Representar relaciones entre objetos.
 Lógica más expresiva.
Lógica de Predicados

 Estudia las frases declarativas con mayor grado de detalle,

considerando la estructura interna de las proposiciones.
También es llamada Lógica de Primer Orden.
Se distinguen:
 predicado o relación (¿Qué se afirma?)
 objeto, sujeto o término (¿De quién o quiénes se afirma?)
 Por ejemplo, en la afirmación “Juan es mortal”
 “Juan” es el sujeto
 “es mortal” el predicado
Un predicado es atribuible a varios sujetos
Lenguaje de la Lógica de Predicados
Lenguaje de la Lógica de Predicados
Lenguaje de la Lógica de Predicados
Cuantificadores

 Cuantificador Universal ∀
 Si P(x) es un predicado cuya variable es x, entonces la afirmación “para
todo x, P(x)” se formaliza como:
∀ x (P(x))
donde se dice que la variable x está universalmente cuantificada. “para
cada x, P(x)”, “para cualquier x se cumple P(x)”
 Ejemplo: En el universo de los números enteros, la afirmación
“todo número es estrictamente menor que el siguiente”
puede escribirse como ∀ x (P(x)) donde P(x): x < x+1.
Cuantificadores

 Cuantificador Existencial ∃
Si P(x) es un predicado cuya variable es x, entonces la afirmación “existe un x
tal que P(x)” se formaliza como:
∃ x (P(x))
donde se dice que la variable x está existencialmente cuantificada. “para
algún x, P(x)”, “existe, al menos, un x tal que P(x)”.
 Ejemplo: En el universo de los números enteros, la afirmación
“existe al menos un entero igual a 5”,
puede escribirse como ∃ x (P(x)) donde el predicado P(x): x = 5.
Cuantificadores

 Ejemplos:
Consideremos la afirmación “todos los niños juegan con la pelota” y el
universo U el conjunto de las personas.
 Definamos predicados:
P(x): x es un niño Q(x): x juega con la pelota

 La afirmación quedará expresada como:

∀ x (P(x) → Q(x))
Cuantificadores

 Ejemplos:
Consideremos la afirmación “todo padre quiere mucho a sus hijos” y el
universo U el conjunto de las personas.
 Definamos predicados:
P(x, y): x es el padre de y Q(x, y): x quiere mucho a y

 La afirmación quedará expresada como:

∀ x ( ∀ y (P(x, y) → Q(x, y)))
Cuantificadores

 Ejemplos:
Consideremos la afirmación “todo padre quiere mucho a sus hijos” y el
universo U el conjunto de las personas.
 Definamos funciones y predicados:
f(x): padre de x Q(x, y): x quiere mucho a y

 La afirmación quedará expresada como:

∀ x (Q(f(x), x))
Término y átomo

Un término representa a un objeto

Un átomo toma un valor de verdad (Verdadero o Falso)
Fórmula bien formada

 Dado un alfabeto de Lógica de Predicados, se define el

conjunto de fórmulas bien formadas (fbf) cuyos elementos siguen
las reglas:
 Todo átomo es una fórmula bien formada (fórmula atómica).
 Si A y B son fórmulas bien formadas entonces: (A), (B), ¬A, ¬B, A ˄ B, A ˅
B, A → B, A ↔ B son fórmulas bien formadas.
 Si A es una fórmula bien formada y x una variable entonces ∀ x (A)
y ∃ x (A) serán fórmulas bien formadas.
Fórmula bien formada

 Ejemplo:
Formalizar la frase “Todos los abogados son muy elocuentes” sabiendo que U
es el conjunto de las personas.
 Predicados:
 P(x): x es abogado
 Q(x): x es muy elocuente
∀ x (P(x) → Q(x))
Variable y ámbito de cuantificación

En una fbf una variable está ligada si está en el ámbito de un cuantificador

que la tiene como variable de cuantificación. Una variable está libre si no está
ligada.
Variable y ámbito de cuantificación

 Ejemplo
∀ x (P(x, f(y)))

La variable x aparece en el ámbito del cuantificador universal que

además la tiene como variable de cuantificación, por lo tanto la variable x
está ligada.
La variable y también está en el ámbito del cuantificador universal, pero el
cuantificador no la tiene como variable de cuantificación (es decir, no
aparece siguiendo al símbolo ∀ ), por lo tanto y es una variable libre.
Negación de expresiones que tienen
cuantificadores
 Universal-Existencial
“Todos los alumnos de esta clase aprobarán en Junio”, U: el conjunto de alumnos
de la clase y P(x): x aprobará en Junio. Formalizando
∀ x (P(x))
 Negación de la expresión es:
“No todos los alumnos de esta clase aprobarán en Junio”
¬ ( ∀ x (P(x)))
Reescribiendo:
“Existen alumnos de esta clase que no aprobarán en Junio”
∃ x ( ¬ P(x))
¬ ( ∀ x (P(x))) ≈ ∃ x ( ¬ P(x))
Negación de expresiones que tienen
cuantificadores
 Existencial-Universal
“Algunos números naturales son múltiplo de 4”, U: el conjunto de números
naturales y P(x): x es múltiplo de 4. Formalizando
∃ x (P(x))
Negación de la expresión es:
“No existe ningún número natural que sea múltiplo de 4”
¬ ( ∃ x (P(x)))
Reescribiendo:
“Todos los números naturales no son múltiplo de 4”
∀ x ( ¬ P(x))
¬ ( ∃ x (P(x))) ≈ ∀ x ( ¬ P(x))
Interpretación en Lógica de
Predicados
Interpretación en Lógica de
Predicados
 Cuantificador Universal
Sea P(x) un predicado cuya variable x toma valores en un universo del discurso U,
entonces
 ∀ x (P(x)) es Verdadero si el predicado P(x) es Verdadero para todos los valores de x
en el universo U.
 ∀ x (P(x)) es Falso si hay, al menos, un valor de x en U para el cual el predicado P(x)
sea Falso.
Ejemplos: U el conjunto de los números enteros.
∀ x (x < x+1) P(x): x < x+1 es Verdadero si sustituimos x por cualquier número
entero. Luego la cuantificación universal es Verdadera.
∀ x (x = 5) P(x): x = 5 es Falso, por ejemplo, para x = 1. Luego la
cuantificación universal es Falsa.
Interpretación en Lógica de
Predicados
 Cuantificador Existencial
Sea P(x) un predicado de variable x que toma valores en un universo del discurso
U, entonces
 ∃ x (P(x)) es Verdadero, si el predicado P(x) es Verdadero para, al menos, uno
de los valores de x en U.
 ∃ x (P(x)) es Falso, si el predicado P(x) es Falso para todos los valores de x en U.
Ejemplos: U el conjunto de los números enteros.
∃ x (x = 5) P(x): x = 5 es Verdadero si sustituimos x por el número
entero 5. Luego la cuantificación existencial es
Verdadera.
∃ x (x = x+1) P(x): x = x + 1 es Falso porque no existe en los números
enteros un número que sustituya a x, y sea igual a
su sucesor. Luego la cuantificación existencial es Falsa.
Interpretación en Lógica de
Predicados
Una interpretación (I) de una fórmula F consiste en:
 Un conjunto no vacío U, llamado Universo o dominio.
 Asociar a cada letra de constante a ∈ F un elemento del universo c´ ∈ U.
 Asignar a cada letra de función f ∈ F (de aridad n), una aplicación
f´ : U n → U
 Asignar a cada letra de predicado P ∈ F (de aridad n), una aplicación
P´: U n → { V , F }
Interpretación en Lógica de
Predicados
 Ejemplo
Sea la siguiente fórmula
F = ∀ x ( ∃ y ((P(x) → Q(x, y)) ∧ R(a)))
Una interpretación I posible para esta fórmula puede ser:
 U = {Juan, Pablo, Maria}
 a´ = Maria
 P´(x) : x es una persona Juan, Pablo y María son personas
 Q´(x, y) : y es la madre de x María (persona mayor de edad) es
 R´(x) : x es mayor de edad la madre de Juan y Pablo.

Para calcular el valor de verdad de la fórmula para esta interpretación se

chequeará si para todo x ∈ U existe un y tal que V´(F) = Verdadero.
Interpretación en Lógica de
Predicados

Juan, Pablo y Maria son personas.

Maria (persona mayor de edad) es
la madre de Juan y Pablo.
Interpretación en Lógica de
Predicados

Juan, Pablo y María son personas.

María (persona mayor de edad) es
la madre de Juan y Pablo.
Interpretación en Lógica de
Predicados

Juan, Pablo y María son personas.

María (persona mayor de edad) es
la madre de Juan y Pablo.
Interpretación en Lógica de
Predicados

Juan, Pablo y María son personas.

María (persona mayor de edad) es
la madre de Juan y Pablo.
Interpretación en Lógica de
Predicados

Juan, Pablo y María son personas.

María (persona mayor de edad) es
la madre de Juan y Pablo.
Interpretación en Lógica de
Predicados
 Ejemplo
Sea la siguiente fórmula
F = ∀ x ( ∃ y ((P(x) → Q(x, y)) ∧ R(a)))
Una interpretación I posible para esta fórmula puede ser:
 U = {Juan, Pablo, Maria}
 a´ = Maria
 P´(x) : x es una persona
 Q´(x, y) : y es la madre de x
 R´(x) : x es mayor de edad
Interpretación en Lógica de
Predicados
 Ejemplo
Sea la siguiente fórmula
F = ∀ x ( ∃ y ((P(x) → Q(x, y)) ∧ R(a)))
Otra interpretación I posible para esta fórmula puede ser:
 U = {−2, 1, 4}
 a´ = 4
 P´(x) : x ≥ 0
 Q´(x, y) : x-y ≥ 0
 R´ (x) : x es par
Para calcular el valor de verdad de la fórmula para esta interpretación se chequeará si para
todo x ∈ U existe un y tal que V´(F) = Verdadero.
Como para todo x ∈ U se encontró un y para el cual V´(F) = Verdadero entonces, bajo esta
interpretación I, F es Verdadera.
Interpretación en Lógica de
Predicados
Interpretación en Lógica de
Predicados
 Ejemplo
Sea la siguiente fórmula
F = ∀ x ( ∃ y ((P(x) → Q(x, y)) ∧ R(a)))
Otra interpretación I posible para esta fórmula puede ser:
 U = {−2, 1, 4}
 a´ = 4
 P´(x) : x ≥ 0
 Q´(x, y) : x-y ≥ 0
 R´(x) : x es par