Me parece que Majo se refiere al ejercicio 2017 aún.
La pregunta es si la siguiente afirmación es verdadera o falsa justificando:![(\exists \varphi \in PROP) (\varphi \neq \perp y \varphi \models \perp) (\exists \varphi \in PROP) (\varphi \neq \perp y \varphi \models \perp)](https://eva.fing.edu.uy/filter/tex/pix.php/7213365efd9592f69ffb71394bfcf07f.png)
Tomando cualquier contradicción, en particular se cumple la afirmación.
Estoy bien o le erré como a las chapas?
Saludos!