[Parcial 2016][Ej 2 b)]

Re: [Parcial 2016][Ej 2 b)]

de Alejandro Jose Rojas Quartino -
Número de respuestas: 0

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)

Tomando cualquier contradicción, en particular \varphi = (\alpha \wedge \neg \alpha) se cumple la afirmación.

Estoy bien o le erré como a las chapas?


Saludos!