LÓGICA PROPOSICIONAL:
Simbolizar:
Si el toro tuviera sentido del humor o fuese un animal vengativo, se sentara en medio de la plaza y dormirá una placida siesta. Si el toro se sentase en medio de la plaza, entonces los espectadores se marcharan decepcionados o el torero se sentirá ridículo. Ni el torero se siente ridículo, ni los espectadores se marchan decepcionados. Así que el toro no tiene sentido del humor y dormirá una placida siesta.
Respuestas a la pregunta
Lenguaje natural de la exposición formal
(p ∨q) → (r ∧o): Si el toro tuviera sentido del humor o fuese un animal vengativo, se sentara en medio de la plaza y dormirá una placida siesta.
r→(s∨t): Si el toro se sentase en medio de la plaza, entonces los espectadores se marcharan decepcionados o el torero se sentirá ridículo.
(¬t ∨¬s) → (¬p∧o): Ni el torero se siente ridículo, ni los espectadores se marchan decepcionados. Así que el toro no tiene sentido del humor y dormirá una placida siesta.
Explicación paso a paso:
Definición de preposiciones simples:
p: toro tuviera sentido del humor
q: fuese un animal vengativo
r: se sentara en medio de la plaza
o: dormirá una placida siesta
s: los espectadores se marcharan decepcionados
t: el torero se sentirá ridículo
Lenguaje natural de la exposición formal
(p ∨q) → (r ∧o): Si el toro tuviera sentido del humor o fuese un animal vengativo, se sentara en medio de la plaza y dormirá una placida siesta.
r→(s∨t): Si el toro se sentase en medio de la plaza, entonces los espectadores se marcharan decepcionados o el torero se sentirá ridículo.
(¬t ∨¬s) → (¬p∧o): Ni el torero se siente ridículo, ni los espectadores se marchan decepcionados. Así que el toro no tiene sentido del humor y dormirá una placida siesta.
[(p ∨q) → (r ∧o)] ∧ [r→(s∨t)] ∧ [(¬t ∨¬s) → (¬p∧o)]