INTRODUCCIÓN:

¿Qué es Lógica?

¿Por qué se estudia?

MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

La lógica estudia la forma del razonamiento, es una

disciplina que por medio de reglas y técnicas
determina si un argumento es válido. En general la
lógica se aplica en la tarea diaria, ya que cualquier
trabajo que se realiza tiene un procedimiento lógico.
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

La lógica resulta esencial para construir, diseñar,

implementar y probar algoritmos y programas
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Definición: “Proposición”
Una proposición o enunciado es una afirmación que puede
ser falsa (F, no se cumple) o verdadera (V , se cumple)
pero no ambas a la vez
Ejercicio.
De las siguientes oraciones indique cuáles son proposiciones.
 p: La Tierra es plana.
 q: 17  38  22
 r: x > y-9
 s: Chile será campeón del sudamericano este año
 t: Hola ¿cómo estas?
 w: Lava el auto por favor.
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Conectivos: Operadores lógicos que permiten formar

proposiciones compuestas (formadas por varias
proposiciones)
a) Disyunción (o)
b) Conjunción (y)
c) Implicación
d) Doble implicación
e) Disyunción exclusiva
f) Negación
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

a) Disyunción
Símbolo v
Proposición compuesta pvq
Se lee poq
Es un proposición que es verdadera cuando al menos
una de las dos lo sea

Ej. Hoy tomaré una bebida o agua pura

MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

 Sea p: Hoy tomaré una bebida

q: Hoy tomaré agua pura
Luego la proposición compuesta anterior sería
p v q

p q pvq
V V V
V F V
F V V
F F F
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

b) Conjunción
Símbolo
Proposición compuesta p q
Se lee p y q
Es un proposición que es verdadera sólo cuando, tanto p
como q, lo sean

Ej. Hoy tomaré una bebida y agua pura.

Esta proposición será verdadera sólo si hoy bebo las dos

MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

 Sea p: Hoy tomaré una bebida

q: Hoy tomaré agua
Luego la proposición compuesta anterior sería
p q

p q p q
V V V
V F F
F V F
F F F
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

c) Implicación
Símbolo
Proposición compuesta p q
Se lee “ p implica q”
“si p entonces q”
Es un proposición que es falsa sólo si p es verdadera
y q falsa

Ej. Si hoy llueve entonces los techo se mojarán

MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

 Sea p: Hoy llueve

q: Los techos están mojados
Luego la proposición compuesta anterior sería
p q

p q p q
V V V
V F F
F V V
F F V
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

d) Doble Implicación
Símbolo
Proposición compuesta p q
Se lee “ p si y solo si q”
“p equivale a q”

Es un proposición que es verdadera cada vez que coincidan

los valores de verdad de p y q

Ej. Él es buen estudiante, si y solo si tiene promedio sobre 70

MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

 Sea p: Él es buen estudiante

q: tiene promedio sobre 70
Luego la proposición compuesta anterior sería
p q

p q p q
V V V
V F F
F V F
F F V
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

e) Disyunción exclusiva
Símbolo v
Proposición compuesta p v q
Se lee “ p o bien q”

Es un proposición que es verdadera cuando tan solo una

de ellas lo sea

Ej. Hoy en la noche estudiaré, o bien iré a la fiesta

mechona
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

 Sea p: Hoy en la noche estudiaré

q: Hoy en el noche iré al Huevo
Luego la proposición compuesta anterior sería
p v q

p q p v q
V V F
V F V
F V V
F F F
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

f) Negación
Proposición p
Se lee “ no p” o “p negado”
Es un proposición que es verdadera cuando p es falsa
Ej. Hoy no lloverá
Sea p: Hoy lloverá
p
OBS: ¿A que es igual la doble negación?
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Ejercicio:
Determine el valor de verdad de p, q, r y s para que la
proposición compuesta

a) r  p  q  r  sea falsa

b)  p  s    p   r  s  sea falsa

MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Ejercicio: Escriba como una proposición matemática las

siguientes oraciones
a) "Si salgo electo presidente de la República recibirán un 50% de
aumento en su sueldo el próximo año".
b) "El auto enciende cuando tiene bencina y carga en la batería"
c) “Una persona puede entrar al cine si y solo si compra su boleto u
obtiene un pase".
d) “Para aprobar matemática se debe tener promedio mayor o igual
a 55 y asistencia sobre el 75%”
e) “Se requiere valor y preparación para escalar esta
montaña”.
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

f) "Si no pago la luz, entonces me cortarán la corriente

eléctrica. Y Si pago la luz, entonces me quedaré sin dinero o
pediré prestado. Si me quedo sin dinero y pido prestado,
entonces no podré pagar la deuda de la luz, si solo si soy
desorganizado“
g) “Por un lado, si 4 es par, entonces 3 no es divisor de 7. Por
lo tanto, 5 no es primo o 3 es divisor de 7. Además, 5 es
primo. En consecuencia, 4 es impar”
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

h) “Juan se quedó en casa. Por otro lado, salir de casa es

suficiente para no recibir invitación al cine. Además, es
necesario que Juan salga para salvar su pololeo. Se
deduce entonces que Juan terminó su pololeo”

i) “Si a Priscila le gusta Alberto, entonces a Alberto no le

gusta Luis. Además, a Luis no le gusta Gabriel o a
Alberto le gusta Luis. Pero además a Luis le gusta
Gabriel. Entonces a Priscilla no le gusta Alberto”
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Con la siguiente asignación de significados para las variables

proposicionales:
p: necesita un doctor
q: necesita un abogado
r: tiene un accidente
s: está enfermo
u: es injuriado
Expresar en español las siguientes sentencias
a) ( s  p )  ( r  q )
b) p  ( s  u )
c) ( p q )  r
d) ( p  q )  ( s  u )
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Definiciones: Una proposición puede ser

 Tautología;

 Contradicción;

 Contingencia,
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Determine si las siguientes proposiciones son Tautologías,

contradicciones o contingencias usando tablas de verdad

 p   p  q 
  p
 p   p  q 
  p
 p   q  p 
  p
p   p  q
p   p  q
 p  q  q  p
 q  r   p 
  q 
  p    r  p 

MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Tarea:
Busque en algún libro o internet la leyes (tautologías) lógicas
y demuéstrelas usando tablas de verdad
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Función proposicional:
Expresión que contiene una o más variables p(x) , p(x,y)

Diremos que
“ a satisface p(x) , si y solo si p(a) es verdadero”

Ej. Sea U el conjunto de los número reales

p(x): el número x es par
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Cuantificadores:

E
a) Existencial (existe)
b) Universal
A (para todo)

Ej. Sea U ={ -1, 2, 3} conjunto universo , p(x): x2-1=0.

Determine el valor de verdad de las siguientes
proposiciones
A
a) x U / p  x 
b) x  U / p  x 
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

¿Qué pasará al negar una proposición con un cuantificador?

 x U  y  A / p  x, y   x U  y  A / p  x, y 

 x U  y  A / p  x, y   x U  y  A / p  x, y 
¿Se pueden conmutar los cuantificadores?

Ej. Todos los autos tienen una patente

MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Ejercicios: Considere las siguientes funciones

proposicionales definidas en Z
p(x): x es par q(x) = x es mayor que 28
Determine el valor de verdad de las siguientes proposiciones

a)  p 1  q  21   q  30  p  8   p 11

 


b)  x  Z  p  x   q  x  
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Teoría de conjuntos:
Elementos básicos: Conjuntos y elementos
Conceptos básicos: Pertenencia  , subconjunto 

x  A   x  A

Los conjuntos se pueden definir de dos manera:

 Extensión;
 Comprensión A= x  U / p(x) 
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Ej. B =  x  IN / x  5  (comprensión)
B=1,2,3,4,5 (extensión

a) C =  x  Z / -1  x  4 
b) C=  2, 4, 6, 8, 10, 12,….
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Conjunto Universo U
Conjunto Vacio Ø , { }

Obs. El conjunto vacío está contenido en cualquier conjunto.

Subconjunto. Diremos que A es subconjunto de B si

x  A   x  B 
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Relaciones entre conjuntos

a) Intersección A  B =  x  U / x  A  x  B 
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

b) Unión de conjuntos A  B =  x  U / x  A  x  B 

c) Complemento Ac =  x  U / x  A 
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

c) Diferencia A-B = xU/xA  xB

d) Diferencia Simétrica
AB = (AB)-(AB) o
AB = (A-B)(B-A)
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Ej. Sea U = IN A=1,2,3,4 B=2,4,5,7

Determine A  B , A  B , A-B, A  B , 𝑨𝒄
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

TEOREMA

(AC)C = A
()C = U
(U)C = 
A  AC = U
A  AC = 
( A  B )C = AC  BC Ley de Morgan
( A  B )C = AC  BC Ley de Morgan
A –B = A  BC
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Cardinalidad: Cantidad de elementos de un conjunto

Importante
a) #(A U B) = #A + #B - #(A B)

Demostración:

b)
# A  B C  
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

Ej.
a) En un curso hay 25 estudiantes que juegan fútbol, 20
estudiantes que juegan básquetbol y 15 alumnos que
practican ambos deportes. Si el curso tiene 50 alumnos,
entonces ¿cuántos son los alumnos que no practican
deportes?
b) Una mesera tomo una orden de hamburguesas: 19 con
cebolla, 14 con salsa y 12 con mostaza. De éstas, una tenía
sólo mostaza y cuatro sólo salsa. Cinco de las
hamburguesas tenían mostaza y salsa y de éstas, dos
llevaban de todo. ¿Cuántas hamburguesas llevaban sólo
cebolla?.¿Cuántas no llevaban de todo? ¿Cuántas llevan
salsa pero no mostaza?
MATEMÁTICA 1.
MÓDULO 1. LÓGICA Y CONJUNTOS

c) Se ha realizado una encuesta a 350 personas sobre la

preferencia hacia tres productos A, B y C. Los resultados
obtenidos indican que 241 personas prefieren los productos
A o B; 214 personas prefieren los productos A o C; 229
personas prefieren los productos B o C. Además 70
personas prefieren A y B; 66 prefieren A y C, y 138 prefieren
el producto C. Si 58 personas no prefieren estos productos,
determine la cantidad de personas que prefieren:

 Sólo uno de estos productos

 El producto A o B, pero no C