Question

Formalice las siguientes inferencias y luego efectúe una prueba de validez: Si son personas altas o fuertes, entonces son guardaespaldas o agentes de seguridad. Por tanto, todas las personas fuertes son guardaespaldas.

Answer 1

Tenemos que P ∨ Q ⇒ M ∨ N y es falso que Q ⇒ M

Sean las proposiciones:

P: son altar

Q= son fuertes

M: son guarda espaldas

N: son agentes de seguridad

Tenemos que:

Si son personas altas o fuertes, entonces son guardaespaldas o agentes de seguridad:

P ∨ Q ⇒ M ∨ N

Ahora "todas las personas fuertes son guardaelpadas" seria:

Q ⇒ M (Falso)

Pues una persona fuerte puede ser agente de seguridad