Question

Si el tiempo está agradable y el cielo despejado, saldremos a navegar y nos daremos un baño

Answer 1

Respuesta:

Convenciones simbólicas:

- p: el tiempo está agradable

- q: el cielo está despejado

- r: saldremos a navegar

- s: nos daremos un baño

Formalización:

p ∧ q → r ∧ s, ¬(¬q ∨ s) ├ ¬p

Explicación paso a paso:esta es