El
ejemplo que escogí para esta entrega fue el siguiente:
14.5
Demostrar que las siguientes fórmulas no son equivalentes, dando un camino que
satisface uno de ellos, pero no satisface el otro:
Para
resolverlo checamos la siguiente tabla:
Eventualmente Siempre A y ¬A son siempre A.
No es equivalente ya que dice que A y ¬A son A.
1 comentario:
Primeramente me saca de onda que es un ejercicio repetido... (No eres la única persona con esta misma tarea, como deberías.) En segundo lugar, se pide construir un camino que cumpla uno y no el otro. Tú simplemente echaste rollo. Van 3 pts.
Publicar un comentario