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