Usuario:Fercho/ejercicio 2

Con la siguiente asignación de significados para las variables proposicionales:

p: necesita un doctor

q: necesita un abogado

r: tiene un accidente

s: está enfermo

u: es injuriado

Expresar en español las siguientes sentencias:

a) (s → q ) ^ (r → q )

b) p → (s v u)

c) (p ^ q ) ↔ (s ^ u )

d) ￢ (s v u ) → ￢p

SOLUCION

a) Si está enfermo entonces necesita un doctor y si tiene un accidente entonces necesita un abogado.

b) Si necesita un doctor entonces o está enfermo o ha sido injuriado.

c) Si necesita un doctor y necesita un abogado entonces ha tenido un accidente.

d) Necesita un doctor y un abogado, si y sólo sí, está enfermo o ha sido injuriado.

e) Si no está enfermo ni ha sido injuriado, entonces no necesita un doctor.