Autor Tema: Corrección equivalencia semántica: Al Sr Guido Trípodi

0 Usuarios y 1 Visitante están viendo este tema.

18 Julio, 2017, 01:17 am
Leído 2365 veces

numbsoul

  • Nahuel Albarracín
  • Moderador Global
  • Mensajes: 1,848
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
\( \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 \)