Question

Si anochece, nos quedaremos en este lugar a cenar o a dormir. Si
nos quedarnos a cenar o a dormir, no iremos mañana al
teatro. Pero, si iremos mañana al teatro. Por consiguiente, no
anochece y no nos quedaremos a cenar ni a dormir,
a como
Termicarote
Tarcar
gunta
Convenciones simbólicas:
Tiempo restan
p: Anochece.
r: Nos quedaremos a dormir.
a: Nos quedaremos a cenar,
s: Iremos mañana al teatro,
Formalización
Seleccione una
alllplavra [lavr - -P] a sl-[-SA s-an-r)]
b. lllp 194 197 1.5 – [-Plan-r? |
Clip A [(avr -] As [-PAR-a 1-r)]
d.lip
(g) [(ayr) - -] As [-PA (-QA-]​

Answer 1

Al formalizar la hipótesis, tenemos que como iran a cenar entonces no se quedan a dormir ni a a cenar y por lo tanto s ⇒ ¬r ∧ ¬a

Las proposiciones que tenemos son:

r: Nos quedaremos a dormir.

a: Nos quedaremos a cenar,

s: Iremos mañana al teatro,

Tenemos que, si nos quedamos en este lugar a cenar o  a dormir que seria r∨a entonces no iremos al teatro, por lo tanto tenemos:

r ∨ a ⇒ ¬s

Luego tenemos que iremos a cenar y por consiguiente se cumple s, por lo tanto

s ⇒ ¬r ∧ ¬a