Hola primo de Fabin, a continuacin desarrollo el ejercicio que me enviaste.

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.
Solucin.
Identificamos las proposiciones y las simbolizamos como sigue:
p: El cliente de Juan gana la apelacin
q: Mara se retira del buffet de abogados
r: Alberto, el cliente de Juan no es llevado a prisin
Simbolizamos el argumento teniendo en cuenta los smbolos de las proposiciones identificadas:

p q q r p r
a. Demostraremos primero el razonamiento utilizando las reglas de inferencia.
Demostrar

p r

pq
2. q r
1.

3. q r r q

qr
5. p r
4.

Equivalencia del bicondicional [2]

Simplificacin [3]
Silogismo hipottico [1, 4]

b. Demostraremos ahora usando tablas de verdad.

p

pq

qr

p r

p q q r

p q q r p r

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
F
F
V
V
V
V

V
F
F
V
V
F
F
V

V
F
V
F
V
V
V
V

V
F
F
F
V
F
F
V

V
V
V
V
V
V
V
V

Se ha llegado a una tautologa lo que demuestra que el razonamiento es vlido.

Saludos,

Luis Eduardo Arias Tovar