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)