FUNDAMENTOS DE LÓGICA

Conectivas básicas y tablas de verdad, equivalencia lógica,

implicación lógica, el uso de cuantificadores.
FUNDAMENTOS DE LÓGICA

 INTRODUCCIÓN

 El lenguaje universal.

 Cuando un matemático desea ofrecer una demostración de una

situación dada, debe utilizar un sistema de lógica. Esto también
es cierto para un científico de la computación que desarrolla los
algoritmos necesarios para un programa o sistema de
programas. La lógica de las matemáticas se aplica para decidir
si una proposición se sigue o es consecuencia lógica de una o
más proposiciones.
FUNDAMENTOS DE LÓGICA

Conectivas básicas y tablas de verdad.

Proposiciones (o enunciados), son oraciones declarativas que son

verdaderas o falsas (pero no ambas).

Por ejemplo, las siguientes son proposiciones y, para

representarlas utilizaremos las letras minúsculas (como p, q y r)

 ‘p: La combinatoria es un curso obligatorio para el segundo año

de bachillerato.

 ‘q: Margaret Mitchell escribió Lo que el viento se llevó

 ‘r: 2 + 3 = 5.
FUNDAMENTOS DE LÓGICA
No consideramos como proposiciones algo como la exclamación:
 ¡Qué bonita tarde!
 Levántate y haz tus ejercicios.
‘p, q y r, se consideran proposiciones primitivas, ya que no hay forma de
descomponerlas en algo más sencillo. Es posible obtener nuevas
proposiciones, a partir de otras existentes, de dos maneras.
1. Transformamos p en ¬𝑝, que denota su negación y se lee «no p».
2. Combinando dos o más proposiciones en una proposición
compuesta mediante las conectivas lógicas.
a) Conjunción. Dadas p, q se denota 𝑝⋀𝑞, que se lee como «p y q».
b) Disyunción: La expresión 𝑝 ∨ 𝑞, se lee como «p o q».
Se usa la «o» en el sentido inclusivo, pero también existe una «o»
exclusiva.
c) Implicación…
FUNDAMENTOS DE LÓGICA
 C) Decimos que «p implica q» y escribimos 𝑝 → 𝑞.

En forma alternativa podemos decir:

(i) Si p, entonces q;
(ii) p es suficiente para q;
(iii) p es una condición suficiente para q;
(iv) p sólo si q;
(v) q es necesario para p; y
(vi) q es una condición necesaria para p.

La proposición p se conoce como hipótesis de la implicación, y q

como la conclusión.

d) Bicondicional: Se dice «p si y sólo si q», o «p es necesario y

suficiente para q». Se denota como 𝑝 ↔ 𝑞.
FUNDAMENTOS DE LÓGICA

¿el siguiente enunciado es proposición?

 El número x es un entero
FUNDAMENTOS DE LÓGICA

p ¬p p q p⋀ q p∨ q p∨ q P→ q P↔ q
F V
V F F F F F F V V
F V F V V V F
V F F V V F F
V V V V F V V
FUNDAMENTOS DE LÓGICA

Sean s, t y u las siguientes proposiciones primitivas:

 s: Felipe sale a dar un paseo.
 t: La luna está brillando
 u: está nevando.
a) 𝑡 ⋀ ¬𝑢 → 𝑠.
b) 𝑡 → (¬𝑢 → 𝑠).
c) ¬ 𝑠 ↔ 𝑢 ∨ 𝑡 .
FUNDAMENTOS DE LÓGICA

 Ahora trabajaremos el orden inverso y examinaremos la

notación lógica (o simbólica) para las siguientes tres
frases:

d) Felipe saldrá a dar un paseo si y solo si la luna está

brillando.
e) Si está nevando y la luna no está brillando, entonces Felipe
no saldrá a dar un paseo.
FUNDAMENTOS DE LÓGICA

Consideremos la siguiente situación: estamos a casi una semana

antes de Navidad y Penélope irá a varias fiestas esta semana.
Como está preocupada por su peso, ha decidido no pasarse
hasta el día después de Navidad. Pensando en las consecuencias
que esas fiestas podrían tener con su figura, ha decidido lo
siguiente para el día 26: “Si peso más de 60 Kg, entonces me
inscribiré en una clase de educación física”.

Aquí haremos que p y q denoten las proposiciones (primitivas)

 p: peso más de 60 kg.

 q: me inscribiré a la clase de educación física.

FUNDAMENTOS DE LÓGICA

 p y q son verdaderas. El 26 de diciembre, Penélope pesa más

de 60 kg y se inscribe en la clase de educación física.

 p es verdadera y q es falsa. El 26 de diciembre, Penélope pesa

más de 60 kilogramos pero decide no entrar al curso de
educación física. Penélope ha roto su promesa. 𝒑 → 𝒒 es falsa.

 p y q son falsas. El 26 de diciembre tiene un peso menor o

igual que 60 kg y no se inscribe en el curso de educación física.
Ella no ha violado su resolución, 𝒑 → 𝒒 es verdadera.

 p es falsa y q es verdadera. Penélope pesa 60 kg o menos el

26 de diciembre, pero aún así se inscribe en el curso. Sin
importar la razón, ella no va en contra de su resolución 𝒑 → 𝒒.
FUNDAMENTOS DE LÓGICA

 En ciencias de la computación, aparecen las estructuras de

decisión si-entonces y si-entonces-o en cualquier lenguaje de
programación. La hipótesis p es con frecuencia una expresión
relacional como x > 2. Esta expresión se convierte entonces en
una proposición (lógica) que tiene el valor de verdad 0 o 1,
según el valor de la variable x en ese punto del programa. La
conclusión q podría ser un “enunciado ejecutable” para que el
programa tome otra dirección o para una impresión.
FUNDAMENTOS DE LÓGICA

Diferenciabilidad de una función

Las condiciones para continuidad son:
 (1) 𝑥 = 𝑥0 debe estar en el dominio de la función f,
 (2) y debe tener un límite cuando 𝑥 → 𝑥0 , y
 (3) dicho límite debe ser igual a 𝑓(𝑥0 ).
Cuando estas se satisfacen, se puede escribir

En contraste, cuando se aplica el concepto de “límite” al cociente

de diferencias Δ𝑦/Δ𝑥 cuando 𝑥 → 𝑥0 , tratamos en cambio con la
pregunta de si la función f es diferenciable en 𝑥 = 𝑥0 , es decir, si
la derivada d𝑦/d𝑥 existe en 𝑥 = 𝑥0 , o si 𝑓′(𝑥0 ) existe.
FUNDAMENTOS DE LÓGICA

Diferenciabilidad de una función

Puesto que 𝑓′(𝑥0 ) existe si y solo si el límite de Δ𝑦/Δ𝑥 existe en
𝑥 → 𝑥0 cuando Δ𝑥 → 0, la expresión de la diferenciabilidad de f es

La continuidad de f es una condición necesaria para su

diferenciabilidad (aunque no es suficiente)
La condición de continuidad se deduce de la condición de
diferenciabilidad.
La condición de continuidad es necesaria, pero no es suficiente
para la diferenciabilidad.
FUNDAMENTOS DE LÓGICA

Demostración va unido al de teorema.

Teorema: un enunciado matemático cuya verdad se

confirma por medio de un argumento lógico o
demostración.
FUNDAMENTOS DE LÓGICA

EJEMPLO:

 ‘p: La combinatoria es un curso obligatorio para el segundo año

de bachillerato.

 ‘q: Margaret Mitchell escribió Lo que el viento se llevó

 ‘r: 2 + 3 = 5.

Examinemos la tabla de verdad de la proposición compuesta:

«Margaret Mitchell escribió Lo que el viento se llevó y si 2 + 4 ≠ 5,
entonces la combinatoria es un curso obligatorio para el segundo
año de bachillerato».

 En notación simbólica: ¿ ?
FUNDAMENTOS DE LÓGICA

 Examinemos la tabla de verdad de la proposición compuesta:

«Margaret Mitchell escribió Lo que el viento se llevó y si 2 + 4 ≠
5, entonces la combinatoria es un curso obligatorio para el
segundo año de bachillerato».

 En notación simbólica:
p q r ¬r ¬r→p q ⋀ ( ¬ r → p)
 𝑞 ∧ (¬ 𝒓 → 𝒑),
F F F V F F
F F V F V F
F V F V F F
F V V F V V
V F F V V F
V F V F V F
V V F V V V
V V V F V V
FUNDAMENTOS DE LÓGICA

 Desarrollemos las talbas de verdad de las proposiciones

compuestas:

𝒑 ∨ (q ∧ r) ⟺ (p ∨ q) ∧ r

p q r q⋀ r p∨ (q ∧ r) p∨q (p ∨ q) ∧ r
F F F
F F V
F V F
F V V
V F F
V F V
V V F
V V V
FUNDAMENTOS DE LÓGICA

Definición: una proposición compuesta es una tautología si es

verdadera para todas las asignaciones de valores de verdad para
sus proposiciones compuestas. Si una proposición compuesta es
falsa para todas las asignaciones, entonces es una contradicción.

 Un argumento valido.

 Dadas las premisas 𝑝1 , 𝑝2 , 𝑝3 , … , 𝑝𝑛 , intentamos demostrar que

si cada una de las premisas 𝑝1 , 𝑝2 , 𝑝3 , … , 𝑝𝑛 es una proposición
verdadera, entonces la proposición q también es verdadera.

 (𝑝1 ⋀ 𝑝2 ⋀ 𝑝3 ⋀ … ⋀𝑝𝑛 ) → 𝑞

 Donde la hipótesis es la conjunción de las n premisas.

FUNDAMENTOS DE LÓGICA

 Ejemplo de tautología

Para todos los valores de 𝑝 → 𝑝 ∨ 𝑞 son todos verdaderos.

Para todos los valores de 𝑝 ⋀(¬𝑝 ⋀_𝑞) son todos falsos.

𝒑 → (𝒑 ∨ q) ⟺ p ∧ (¬ 𝒑∧ q)
FUNDAMENTOS DE LÓGICA

EQUIVALENCIA LÓGICA
FUNDAMENTOS DE LÓGICA

Equivalencia lógica:

Las leyes de la lógica

 Definición. Dos proposiciones 𝑠1 , 𝑠2 son lógicamente equivalentes,

y escribimos 𝑠1 ⇔ 𝑠2 , cuando la proposición 𝑠1 es verdadera
(respectivamente, falsa) si y sólo si la proposición 𝑠2 es verdadera
(respectivamente, falsa).

 Ejemplo:
p q ¬p ¬p ∨ q p → q
F F V V V
F V V V V
V F F F F
V V F V V

 Las proposiciones compuestas ¬𝑝 ∨ 𝑞 y 𝑝 → 𝑞 son exactamente

iguales
FUNDAMENTOS DE LÓGICA

P q p→q q→p (p→q) ⋀ (q→p) p↔q

F F V V V V
F V V F F F
V F F V F F
V V V V V V
FUNDAMENTOS DE LÓGICA

Muestre que:

 ¬(𝑝 ⋀𝑞) ⟺ ¬𝑝 ∨ ¬𝑞,

 ¬ 𝑝 ∨ 𝑞 ⟺ ¬𝑝 ⋀¬𝑞,

Son similares a la correspondiente propiedad de los números reales,

 − 𝑎 + 𝑏 = −𝑎 + (−𝑏)

Muestra que el negativo de una suma es igual a la suma de los

negativos.

 Similar, la negación de la conjunción de dos proposiciones primitivas p,

q produce la disyunción de sus negaciones.

 La negación de la disyunción de las mismas proposiciones p, q es

lógicamente equivalente a la conjunción de las negaciones.
FUNDAMENTOS DE LÓGICA

 𝑝 ⋀(𝑞 ∨ 𝑟) ⟺ (𝑝⋀𝑞) ∨ 𝑝⋀𝑟

La propiedad distributiva de ⋀ sobre ∨.

 𝑝 ∨ (𝑞⋀𝑟) ⟺ (𝑝 ∨ 𝑞)⋀ 𝑝 ∨ 𝑟
La propiedad distributiva de ∨ sobre ⋀.

Similar a la siguiente propiedad,

 𝑎 ∗ 𝑏 + 𝑐 = 𝑎 ∗ 𝑏 + (𝑎 ∗ 𝑐)
FUNDAMENTOS DE LÓGICA

Las leyes de la lógica

Para cualesquiera proposiciones primitivas p, q, r, cualquier
tautología 𝑇0 y cualquier contradicción 𝐹0 ,
FUNDAMENTOS DE LÓGICA
FUNDAMENTOS DE LÓGICA

Niegue y simplifique la proposición compuesta 𝑝 ∨ 𝑞 → 𝑟.

 𝑝 ∨ 𝑞 → 𝑟 ⟺ ¬(𝑝 ∨ 𝑞) ∨ 𝑟
 ¬[¬(𝑝 ∨ 𝑞) ∨ 𝑟]
 ¬¬ 𝑝 ∨ 𝑞 ⋀_¬𝑟
 Entonces de los pasos anteriores tenemos que:
 ¬ 𝑝 ∨ 𝑞 → 𝑟 ⟺ 𝑝 ∨ 𝑞 ⋀_¬𝑟
FUNDAMENTOS DE LÓGICA

Queremos escribir la negación 𝑝 → 𝑞 de forma distinta a

¬(𝑝 → 𝑞).
 Como 𝑝 → 𝑞 ⇔ ¬𝑝 ∨ 𝑞,
¬ ¬𝑝 ∨ 𝑞
¬¬𝑝 ∧ ¬𝑞
¬¬𝑝 ∧ ¬𝑞 ⟺ 𝑝 ∧ ¬𝑞
MLODINOW, Leonard.

 En Atenas del siglo V a.C., por ejemplo, en la cima de la civilización griega,

una persona que quisiera escribir un número usaba un tipo de código
alfabético. Las primeras nueve letras de su alfabeto de 24 letras
simbolizaban los números del uno al nueve. Las siguientes nueve letras
simbolizaban los números del diez al diecinueve. Y las últimas seis letras
más tres símbolos adicionales representaban los nueve primeros
centenares (100-900).

 El concepto de cero llegó a Grecia cuando Alejandro invadió el imperio

babilónico en el año 331 a.C. Incluso entonces, aunque el cero se usaba
para denotar ausencia de número, los alejandrinos no lo utilizaban como
un número con derecho propio. […] Este concepto definitorio no fue
introducido hasta el siglo IX, por el matemático hindú Mahavira.

 Incluso después del desarrollo de un sistema de números utilizable

pasarían muchos siglos antes de que la gente reconociera la suma, la
resta, la multiplicación y la división como las operaciones aritméticas
fundamentales, y lentamente se dieron cuenta de que un simbolismo
conveniente para estas operaciones haría su manipulación mucho más
fácil.