División de ciencias exactas, ingeniería

Y tecnología

Licenciatura en Matemáticas
1er. Semestre

Asignatura:
Introducción al pensamiento matemático

Unidad 1. Lógica proposicional.

Evidencia de aprendizaje. Lógica proposicional.

Presenta:
Domingo Ramírez Delgado

27 de julio 2019
1. Para celebrar la victoria del equipo de futbol, Carlos, José, Pedro y Manuel
se ponen de acuerdo sobre lo que han de comprar para comer durante un convivio,
las propuestas de cada uno son las siguientes:

 Carlos dice, si compramos carne o pollo, entonces hacemos carne asada.

 Pedro dice, si compramos pulpo y pescado, entonces hacemos ceviche.
 José dice, mejor compramos carne o pollo, o pulpo y pescado.
 Manuel dice, tengo una idea, hacemos lo que dice Carlos y lo que dice Pedro
y lo que dice José.

Todos estuvieron de acuerdo con lo que dijo Manuel, ya que no contradecía a

ninguna de las ideas de sus compañeros. Por esta razón el entrenador dijo, muy
bien, entonces vamos a hacer unas carne asada o ceviche.

Solución:

p: compramos carne
q: compramos pollo
r: hacemos carne asada
s: compramos pulpo
t: compramos pescado
u: hacemos ceviche

(((𝑝 ∨ 𝑞) → 𝑟) ∧ ((𝑠 ∧ 𝑡) → 𝑢) ∧ ((𝑝 ∨ 𝑞) ∨ (𝑠 ∧ 𝑡))) → (𝑟 ∨ 𝑢)

Conclusión es una tautología, ver tabla 1.

Página 1 de 3
 Tabla 1.
p q r s t u (s^t) (s ^ t)u (p v q) (p v q)r (p v q) v (s ^ t) ((p v q)r)^((s^t)u) ((p v q)r)^((s^t)u)^((p v q) v (s ^ t)) (r v u) ((p v q)r)^((s^t)u)^((p v q) v (s ^ t))  ((r v u))
V V V V V V V V V V V V V V V
V V V V V F V F V V V F F V V
V V V V F V F V V V V V V V V
V V V V F F F V V V V V V V V
V V V F V V F V V V V V V V V
V V V F V F F V V V V V V V V
V V V F F V F V V V V V V V V
V V V F F F F V V V V V V V V
V V F V V V V V V F V F F V V
V V F V V F V F V F V F F F V
V V F V F V F V V F V F F V V
V V F V F F F V V F V F F F V
V V F F V V F V V F V F F V V
V V F F V F F V V F V F F F V
V V F F F V F V V F V F F V V
V V F F F F F V V F V F F F V
V F V V V V V V V V V V V V V
V F V V V F V F V V V F F V V
V F V V F V F V V V V V V V V
V F V V F F F V V V V V V V V
V F V F V V F V V V V V V V V
V F V F V F F V V V V V V V V
V F V F F V F V V V V V V V V
V F V F F F F V V V V V V V V
V F F V V V V V V F V F F V V
V F F V V F V F V F V F F F V
V F F V F V F V V F V F F V V
V F F V F F F V V F V F F F V
V F F F V V F V V F V F F V V
V F F F V F F V V F V F F F V
V F F F F V F V V F V F F V V
V F F F F F F V V F V F F F V
F V V V V V V V V V V V V V V
F V V V V F V F V V V F F V V
F V V V F V F V V V V V V V V
F V V V F F F V V V V V V V V
F V V F V V F V V V V V V V V
F V V F V F F V V V V V V V V
F V V F F V F V V V V V V V V
F V V F F F F V V V V V V V V
F V F V V V V V V F V F F V V
F V F V V F V F V F V F F F V
F V F V F V F V V F V F F V V
F V F V F F F V V F V F F F V
F V F F V V F V V F V F F V V
F V F F V F F V V F V F F F V
F V F F F V F V V F V F F V V
F V F F F F F V V F V F F F V
F F V V V V V V F V V V V V V
F F V V V F V F F V V F F V V
F F V V F V F V F V F V F V V
F F V V F F F V F V F V F V V
F F V F V V F V F V F V F V V
F F V F V F F V F V F V F V V
F F V F F V F V F V F V F V V
F F V F F F F V F V F V F V V
F F F V V V V V F V V V V V V
F F F V V F V F F V V F F F V
F F F V F V F V F V F V F V V
F F F V F F F V F V F V F F V
F F F F V V F V F V F V F V V
F F F F V F F V F V F V F F V
F F F F F V F V F V F V F V V
F F F F F F F V F V F V F F V

Página 2 de 3
2. Elena le pregunta a Juan, ¿cuándo nos vamos a casar? Juan contesta las
siguientes frases.
 Si quiero casarme contigo entonces estás contenta, y no estás contenta.
 Si estás contenta entonces quiero casarme contigo y si estás contenta.

Elena le pregunta, ¿qué cosa piensas, lo primero o lo segundo? Juan le contesta,

pienso lo primero y también pienso lo segundo. Elena se molesta y le dice tus frases
son una contradicción.

Solución:

p: quiero casarme contigo

q: estás contenta

((𝑝 → 𝑞) ∧ ¬𝑞) ∧ ((𝑝 → 𝑞) ∧ 𝑞)

Conclusión es una contradicción, ver tabla 2.

Tabla 2.
p (p  q) ^ q (p  q) ^
p q ¬q ((p  q) ^ ¬q)^((p  q) ^ q)
q ¬q p q
V V V F F V V F
V F F V F V F F
F V V F F F F F
F F V V V V F F

Página 3 de 3