1.

En la ciudad de Pereira se ha creado un buffet de abogados entre cuatro amigos, del

cual Juan Arroyo y María Aguirre hacen parte; en cierta ocasión se generó una discordia
laboral por diferentes puntos de vista en el proceso de acompañamiento legal a una persona
sindicada de varios delitos; Juan ha asumido la defensa de Alberto quien es la fuente de
discordia con María. María ha decidido tomar acciones radicales frente a lo ocurrido con
Juan: “Si el cliente de Juan gana la apelación, entonces María se retira del buffet de
abogados. María se retira del buffet de abogados si y sólo si Alberto el cliente de Juan no
es llevado a prisión. Por lo tanto, si el cliente de Juan gana la apelación, entonces no es
llevado a prisión”. Determinar con eluso de las dos formas de la tabla de verdad la validez
del razonamiento que hace María y hacerlo también con el uso de las leyes de inferencia.

Solución:

Declaración de las proposiciones simples,

p: Juan gana la apelación.

q: María se retira del Buffet de abogados.
r: Alberto es llevado a prisión.

Declaración de las premisas,

PREMISA 1: si el cliente de Juan gana la apelación, entonces María

se retira del buffet de abogados.

PREMISA 2: María se retira del buffet de abogados si y sólo si

Alberto el cliente de Juan no es llevado a prisión.

CONCLUSIÓN: si el cliente de Juan gana la apelación, entonces no es

llevado a prisión.

Declaración de las premisas en lenguaje formal,

PREMISA 1: 𝑝 ⟶ 𝑞

PREMISA 2: 𝑞 ↔∼ 𝑟

CONCLUSIÓN: 𝑝 ⟶∼ 𝑟

Expresión formal del razonamiento:

[(𝑝 ⟶ 𝑞) ∧ (𝑞 ↔∼ 𝑟)] ⟶ (𝑝 ⟶∼ 𝑟)

Demostración por tabla de verdad:

Debe verificarse que al generar un condicional con las premisas enlazadas en una

conjunción como antecedente, y la conclusión el consecuente; se obtiene una tautología.

De modo que,

La tabla anterior permite evidenciar que es una tautología, por lo cual el razonamiento es
válido.

Otra manera de utilizar las tablas de verdad es evaluando la existencia del caso en que las
premisas sean verdaderas y la conclusión sea falsa. Se tiene entonces la siguiente tabla:

La anterior tabla muestra que no existe el caso en que las premisas sean verdaderas y la
conclusión sea falsa, por lo tanto el razonamiento es válido.

Demostración por leyes de inferencia:

PREMISA 1: 𝑝⟶𝑞

PREMISA 2: 𝑞 ↔∼ 𝑟

_________________

3. 𝑞 ⟶∼ 𝑟 ELIMINACIÓN DEL BICONDICIONAL (2)

CONCLUSIÓN: 𝑝 ⟶∼ 𝑟 SILOGISMO HIPOTÉTICO (1), (3)