Si la gorila es atractiva, el gorila sonreira abiertamente o sera feliz, no procreara en cautividad. Por consiguiente, si la gorila es atractiva, entonces, si el gorila no sonrie abiertamente no procreara en cautividad.
Respuestas a la pregunta
p: la gorila es atractiva,
q: el gorila sonreira abiertamente
r: sera feliz,
s: procreara en cautividad.
{p⇒[(q∨r)∧-s]}⇒[p⇒(-q⇒-s)]
p≡1
q≡0
s≡1
r≡ toma cualquier valor
la espresion proposicional es tautologica
En lenguaje formal : si la gorila es atractiva, el gorila sonreira abiertamente o sera feliz, no procreara en cautividad. Por consiguiente, si la gorila es atractiva, entonces, si el gorila no sonrie abiertamente no procreara en cautividad. ------> p⇒[(q∨r)∧-s]}⇒[p⇒(-q⇒-s)
Para resolver este ejercicio lo que vamos a realizar es transformar nuestro enunciado a un lenguaje matemático formal o un lenguaje lógico haciendo uso de las premisas primarias y de los conectores lógicos:
- p -> Si la gorila es atractiva
- q-> el gorila sonreira abiertamente
- r -> sera feliz
- s -> procreara en cautividad
De tal manera que una vez definimos las premisas el argumento queda se la siguiente manera: