Edición de «Segundo parcial 24/11/2022 (IngSoft2)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 94: | Línea 94: | ||
==== b) ([]p) U q es equivalente a [](p U q) ==== | ==== b) ([]p) U q es equivalente a [](p U q) ==== | ||
La traza p, {p, q}, {p, ¬q}, {p, ¬q}, {p, ¬q}, .... cumple la primer propiedad pero no la segunda, porque la segunda habla de que siempre cuando vale p eventualmente valdrá q, en cambio la primera solo pide que si valió []p en algún momento, valga q una vez después. | |||
=== Ejercicio 5 === | === Ejercicio 5 === |