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 el uso 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.

Proposiciones simples

p = Alberto gana la apelacin

q = Mara se retira del buffet de abogados

r = Alberto es llevado a prisin

Proposicin compuesta

[(pq) (qr)] (pr)

p q r pq r qr [(pq) (qr)] pr [(pq) (qr)] (pr)

v v v v f f f f v

v v f v v v v v v

v f v f f v f f v

v f f f v f f f v

f v v v f f f f v

f v f v v v v v v

f f v v f v v v v

f f f v v f f v v

La expresin es una tautologa

Por modus ponens si se cumple p se cumple q y por lo mismo si se cumple q se cumple r,
por lo tanto, si se cumple p se cumple r. Luego el razonamiento est bien.

Se comprueba por el simulador truth table

[(pq) (qr)] (pr)