Propedéutico de
Matemática
Programa de Estudios Superiores 2019-2020
Rodrigo Chang
Banco de Guatemala
7 de enero de 2019
Lógica
Lógica
→ Es una forma sistemática de pensar que nos
permite deducir nueva informacion a partir
de la vieja.
→ La lógica es un proceso de deducción de
información de forma correcta, no solo
acerca de información correcta.
3
Lógica
→ Ejemplo:
1. El círculo X tiene radio igual a 3.
2. Si cualquier círculo tiene radio r,
entonces su área es πr2 unidades
cuadradas.
→ No hay problema en usar estos hechos para
concluir que: el círculo X tiene área 9π.
4
Proposiciones
→ El estudio de la lógica empieza con las
proposiciones.
→ Una proposición es una oración, o expresión
matemática, que puede ser
(inambiguamente) verdadera o falsa.
5
Algunas proposiciones verdaderas
→ Cada número par es divisible por 2.
→ 2∈Z
√
→ 2∈Z
→ N⊆Z
→ El conjunto {0, 1, 2} tiene 3 elementos.
→ Algunos triángulos rectángulos son
isósceles.
6
Algunas proposiciones falsas
→ Todos los triángulos rectángulos son
isósceles.
→ 2=5
√
→ 2∈/R
→ Z⊆N
→ {0, 1, 2} ∩ N = ∅
7
Proposiciones y no proposiciones
Son proposiciones:
No son proposiciones:
→ Sumar 5 a ambos
→ Sumar 5 de ambos
lados de x − 5 = 37 da
lados
x = 42
→ Z
→ 42 ∈ Z
→ 42
→ 42 no es un número.
→ ¿Cuál es la solución
→ La solución de
de 2x = 84?
2x = 84 es 42.
8
Proposiciones
→ El estudio de la lógica empieza con las
proposiciones.
→ Una proposición es una oración, o expresión
matemática, que puede ser
(inambiguamente) verdadera o falsa.
9
Proposiciones
Podemos utilizar letras para designar las
proposiciones.
→ P : Para cada entero n > 1, el número 2n − 1
es primo.
→ Q : Cada polinomio de grado n tiene como
máximo n raíces.
→ R : La función f(x) = x2 es continua.
→ P1 : Z ⊆ ∅.
→ P2 : {0, −1, −2} ∩ N = ∅
10
El último teorema de Fermat
R : Para todos los números a, b, c, n ∈ N con
n > 2, tenemos que an + bn ̸= cn .
→ Fermat creía que esta proposición era
verdadera.
→ De hecho, declaró que podía probarla, pero
que el margen de su cuaderno era
demasiado estrecho para contener su
prueba.
→ Finalmente, en 1993, Andrew Wiles de la
Universidad de Princeton anunció que tenía
una prueba.
https://tinyurl.com/ybeq62oe
11
Combinación de proposiciones
Cuando se combinan dos proposiciones para
formar una nueva, se puede hacer a través
de las palabras “y” e “o”.
Definición (Conjunción y disyunción)
Sean P y Q proposiciones.
La conjunción de P y Q se denota por P ∧ Q
representa la proposición P y Q.
La disyunción de P y Q se denota por P ∨ Q
representa la proposición P o Q.
12
Ejemplo
13
Tablas de verdad
→ Los valores de verdad para una proposición
compuesta se pueden describir a través de
una tabla de verdad.
→ La tabla de verdad de una proposición P,
formada por las proposiciones individuales
p1 , p2 , . . . , pn enumera todas las posibles
combinaciones de los valores de verdad
para estas proposiciones.
14
Conjunción y disyunción
15
Negación
16
Algunos ejemplos
Conjunción:
Negación:
17
Proposiciones condicionales
→ En general, dadas P y Q proposiciones
cualesquiera, podemos formar la
proposición “Si P, entonces Q” (P ⇒ Q).
→ Al igual que ∧ y ∨, el símbolo ⇒ tiene un
significado específico.
→ Cuando la proposición (P ⇒ Q) es
verdadera, nos referimos a que Si P es
verdadera entonces Q también debe ser
verdadera.
18
Proposiciones condicionales
Definición (Implicación)
Si p y q son proposiciones, la proposición
si p entonces q
se llama proposición condicional y se denota
por
p ⇒ q.
La proposición p se llama hipótesis (o
antecedente) y la proposición q recibe el
nombre de conclusión (o consecuente).
19
Ejemplo
20
Tabla de verdad
21
→ ¿Por qué la proposición condicional es
verdadera en los dos últimos casos?
→ Para convencernos, supongamos que
Si pasan el examen final, entonces aprueban el curso
esto equivale a la promesa:
(Apruebas el examen) ⇒ (Apruebas el curso)
→ Hagamos la tabla de verdad.
22
Construcciones gramaticales
En matemáticas, podemos encontrar otras
formas de expresar ⇒.
→ Si P, entonces Q.
→ Q si P
→ Q cuando P.
→ Q dado que P.
→ Cuando P, entonces también Q.
→ P es una condición suficiente para Q.
→ Para Q, es suficiente que P.
→ Q es una condición necesaria para P.
→ Para P, es necesario que Q
→ P solo si Q
23
Impicación verdadera por omisión
→ Si la hipótesis es falsa, la proposición
condicional es verdadera y se dice que es
verdadera por omisión o
superficialmente verdadera.
→ Por ejemplo: aprobar el curso pero no haber
aprobado el examen final.
24
Proposición bicondicional
→ Introducimos ahora el símbolo ⇔ para
expresar la proposición de doble
implicación.
→ La expresión P ⇔ Q tiene el mismo
significado que
(P ⇒ Q) ∧ (Q ⇒ P)
→ Pronunciamos P ⇔ Q como “P si y solo si Q”
→ Por ejemplo:
(a es par) ⇔ (a es divisible por 2)
25
Tabla de verdad
26
Proposición bicondicional
Otras formas de expresar ⇔
→ P si y solo si Q.
→ P es una condición necesaria y suficiente
para Q.
→ Para P, es necesario y suficiente que Q.
→ Si P, entonces Q, y viceversa.
27
Equivalentes lógicos
A través de la doble implicación podemos
definir los equivalentes lógicos.
28
Ejemplo
29
Leyes de De Morgan para lógica
30
Negación de la implicación
31
La contrapositiva
32
Cuantificadores
Función proposicional
Definición (Función proposicional)
Sea P(x) una oración que incluye la variable x y
sea D un conjunto. Llamamos a P una función
proposicional o predicado (respecto a D) si
para cada x en D, P(x) es una proposición. D es
el dominio de discuro de P.
34
Cuantificador universal
35
Cuantificador universal
→ La variable en la función proposicional se
llama variable libre (de recorrer el dominio
de discurso).
→ Para demostrar que la afirmación
cuantificada universalmente
∀x P(x)
es falsa, es suficiente encontrar un valor de
x en el dominio de discurso para que la
proposición P(x) sea falsa.
→ A dicho valor le llamamos contraejemplo.
36
Cuantificador existencial
Definición
Sea P una función proposicional con dominio de
discurso D. Se dice que la afirmación
existe x, P(x)
es una afirmación cuantificada
existencialmente. El símbolo ∃ significa “existe”.
Así, la afirmación anterior se escribe como
∃x P(x)
→ La afirmación ∃x P(x) es verdadera si P(x) es
verdadera para al menos una x en D. 37
Ejemplo A
38
Ejemplo B
Verifique que la afirmación cuantificada
existencialmente
( )
1
∃x 2 >1
x +1
es falsa.
→ Se debe probar que P(x) es falsa para todo
número real x.
→ Podemos probar que la afirmación opuesta
es cierta.
39
Leyes generalizadas de De Morgan
para lógica
Teorema
Si P es una función proposicional, cada una de
las proposiciones siguientes tienen el mismo
valor de verdad (es decir, ambas son
verdaderas o ambas son falsas).
→ ¬(∀x P(x)); ∃x ¬P(x).
→ ¬(∃x P(x)); ∀x ¬P(x).
40
Ejemplo
41
Sugerencias para resolver
problemas
→ Para probar que la afirmación cuantificada
universalmente
∀x P(x)
es verdadera, demuestre que para toda x en
el dominio de discurso, la proposición P(x)
es verdadera.
→ Para probar que ∀x P(x) es falsa, encuentre
un contraejemplo en el dominio de discurso,
para el cual P(x) sea falsa.
42
Sugerencias para resolver
problemas
→ Para probar que la afirmación cuantificada
existencialmente
∃x P(x)
es verdadera, encuentre un valor de x en el
dominio de discurso para el que la
proposición P(x) es verdadera.
→ Para probar que ∃x P(x) es falsa, demuestre
que para toda x en el dominio de discurso,
P(x) es falsa.
43
Cuantificadores anidados
44
Ejemplo B
45
Ejemplo C
46
Ejemplo D
47
