Foros de matemática
22/09/2017, 10:28:53 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Renovado el procedimiento de insercción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Corrección equivalencia semántica: Al Sr Guido Trípodi  (Leído 297 veces)
0 Usuarios y 1 Visitante están viendo este tema.
numbsoul
Nahuel Albarracín
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 1.850



Ver Perfil WWW
« : 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]
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!