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-]
Respuestas
Respuesta dada por:
3
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
Preguntas similares
hace 3 años
hace 3 años
hace 6 años
hace 7 años
hace 7 años