1.

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

cual Juan Arroyo y Mara Aguirre hacen parte; en cierta ocasin se gener una discordia
laboral por diferentes puntos de vista en el proceso de acompaamiento legal a una persona
sindicada de varios delitos; Juan ha asumido la defensa de Alberto quien es la fuente de
discordia con Mara. Mara ha decidido tomar acciones radicales frente a lo ocurrido con
Juan: Si el cliente de Juan gana la apelacin, entonces Mara se retira del buffet de
abogados. Mara se retira del buffet de abogados si y slo si Alberto el cliente de Juan no
es llevado a prisin. Por lo tanto, si el cliente de Juan gana la apelacin, entonces no es
llevado a prisin. Determinar con eluso de las dos formas de la tabla de verdad la validez
del razonamiento que hace Mara y hacerlo tambin con el uso de las leyes de inferencia.

Solucin:

Declaracin de las proposiciones simples,

p: Juan gana la apelacin.

q: Mara se retira del Buffet de abogados.
r: Alberto es llevado a prisin.

Declaracin de las premisas,

PREMISA 1: si el cliente de Juan gana la apelacin, entonces Mara

se retira del buffet de abogados.

PREMISA 2: Mara se retira del buffet de abogados si y slo si

Alberto el cliente de Juan no es llevado a prisin.

CONCLUSIN: si el cliente de Juan gana la apelacin, entonces no es

llevado a prisin.

Declaracin de las premisas en lenguaje formal,

PREMISA 1:

PREMISA 2:

CONCLUSIN:

Expresin formal del razonamiento:

[( ) ( )] ( )

Demostracin por tabla de verdad:

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

conjuncin como antecedente, y la conclusin el consecuente; se obtiene una tautologa.

De modo que,

La tabla anterior permite evidenciar que es una tautologa, por lo cual el razonamiento es
vlido.

Otra manera de utilizar las tablas de verdad es evaluando la existencia del caso en que las
premisas sean verdaderas y la conclusin 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
conclusin sea falsa, por lo tanto el razonamiento es vlido.

Demostracin por leyes de inferencia:

PREMISA 1:

PREMISA 2:

_________________

3. ELIMINACIN DEL BICONDICIONAL (2)

CONCLUSIN: SILOGISMO HIPOTTICO (1), (3)