FACULTAD DE CIENCIAS NATURALES Y MATEMÁTICAS

CURSO DE NIVELACIÓN OCTUBRE 2022

Solución al Taller 02, Franja 1

Lunes, 31 de octubre de 2022
TEMA 1

Determinar la validez de los siguientes razonamientos, sin hacer uso de tablas de verdad:

Solución:
Razonamiento No. 1
“Juan miente o Pedro es inocente o Pablo no fue el culpable. Si Pedro es inocente, entonces Juan
dice la verdad o Pablo fue el culpable. Por lo tanto, Pedro es inocente.”

Tradución al lenguaje simbólico.

a: Juan miente.
b: Pedro es inocente.
c: Pablo fue el culpable.

!(𝑎 ∨ 𝑏 ∨ ¬𝑐) ∧ *𝑏 → (¬𝑎 ∨ 𝑐),- → 𝑏

!(𝑎 ∨ 0 ∨ ¬𝑐) ∧ *0 → (¬𝑎 ∨ 𝑐),- → 0 Negamos la conclusión, 𝑏 ≡ 0
1 El condicional es verdadero,
independientemente de la conclusión.
1 Colocamos un valor arbitrario para 𝑎: 𝑎 ≡ 1
1 La disyunción es verdadera.
[1 ∧ 1] → 0 ≡ 0 Se ha encontrado un caso en que la forma
proposicional es falsa.
Respuesta: El razonamiento NO ES VÁLIDO.

Razonamiento No. 2
“Si Tomás tiene 17 años, entonces Tomás tiene la misma edad que Juana. Si Pedro tiene distinta
edad que Tomás, entonces Pedro tiene distinta edad que Juana. Tomás tiene 17 años y Pedro
tiene la misma edad que Juana. Por lo tanto, Pedro tiene la misma edad que Tomás.”

Tradución al lenguaje simbólico.

a: Tomás tiene 17 años.
b: Tomás tiene la misma edad que Juana.
c: Pedro tiene la misma edad que Tomás.
d: Pedro tiene la misma edad que Juana.

[(𝑎 → 𝑏) ∧ (¬𝑐 → ¬𝑑) ∧ (𝑎 ∧ 𝑑)] → 𝑐

1 0 Negamos la conclusión, 𝑐 ≡ 0, por lo que la
negación de 𝑐 será verdadera, ¬𝑐 ≡ 1.
1 0 La negación de 𝑑 obligatoriamente debe ser
1 verdadera, por lo que 𝑑 será falsa, 𝑑 ≡ 0.
0 La conjunción es falsa, sin importar los valores
que tenga 𝑎.
0→0≡1 No se detectó caso alguno que hiciera falsa la
forma proposicional.
Respuesta: El razonamiento ES VÁLIDO.
TEMA 2

Dado el siguiente enunciado “Tengo que llegar a mi casa, pero no puedo irme porque Alberto
no termina su trabajo.”, exprese 2 enunciados distintos en lenguaje natural que sean
lógicamente equivalentes al enunciado dado.

Solución
Traducción al lenguaje simbólico.
a: Yo Tengo que llegar a mi casa.
b: Yo puedo irme.
c: Alberto termina su trabajo.

ENUNCIADO
𝑎 ∧ (¬𝑐 → ¬𝑏)
Formas equivalentes:
𝑎 ∧ (¬𝑐 → ¬𝑏) ≡ 𝑎 ∧ (𝑏 → 𝑐)
𝑎 ∧ (¬𝑐 → ¬𝑏) ≡ 𝑎 ∧ (¬𝑏 ∨ 𝑐)
𝑎 ∧ (¬𝑐 → ¬𝑏) ≡ 𝑎 ∧ (𝑐 ∨ ¬𝑏)
𝑎 ∧ (¬𝑐 → ¬𝑏) ≡ (𝑎 ∧ 𝑐) ∨ (𝑎 ∧ ¬𝑏)

Usando la primera de las formas equivalentes 𝑎 ∧ (𝑏 → 𝑐):

“Tengo que llegar a casa, pero si me voy significa que Alberto terminó su trabajo”

Usando la tercera de las formas equivalentes 𝑎 ∧ (𝑐 ∨ ¬𝑏):

“Tengo que llegar a casa, pero Alberto termina su trabajo o no puedo irme”