[Tarea 6] Pregunta 2a

[Mario-uc]

Para la demostración, ¿se puede hacer la demostración para las expresiones R,I , Z y (a o b), y decir que las demás se demuestran de manera similar?

[juanreutter]

para ir de algebra a logica, si

[Mario-uc]

Plantearé la pregunta de otra manera para confirmar que entendió mi pregunta. En la pregunta 2a nos piden demostrar que para cada expresión existe una formula en LPO. Yo lo que hice es construir todas las formulas. Y luego demostré el "si y solo si" (demostrar la implicancia para ambos lados) para las expresiones R, I,Z y cuando es (a o b). Quería saber si eso era suficiente o si tengo que demostrar el "si y solo si" para todas las formulas.

[juanreutter]

Suficiente