Revista, Técnicas, Cursos, Problemas => Discusiones semi-públicas => Mensaje iniciado por: numbsoul en 17/07/2017, 08:17:48 pm



Título: Corrección equivalencia semántica: Al Sr Guido Trípodi
Publicado por: numbsoul en 17/07/2017, 08:17:48 pm
[texx]\neg((\alpha\rightarrow\beta)\rightarrow \neg\alpha)\equiv \neg (\neg (\neg \alpha\vee\beta)\vee\neg\alpha)\equiv \neg ((\alpha\wedge \neg\beta)\vee\neg\alpha)\equiv (\neg \alpha\vee\beta)\wedge \alpha\equiv (\alpha\wedge\neg \alpha)\vee (\alpha\wedge \beta)\equiv \alpha\wedge\beta[/texx]