Edición de «Práctica 4 (LyC Verano)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 130: | Línea 130: | ||
*¬p = *1(p,p,p) = (p→(¬p ٨ p)) = p→0 = ¬p | *¬p = *1(p,p,p) = (p→(¬p ٨ p)) = p→0 = ¬p | ||
*p→q = *1(p,¬p,q) = (p→(¬¬p ٨ q)) = (p→(p ٨ q)) = p→q | *p→q = *1(p,¬p,q) = (p→(¬¬p ٨ q)) = (p→(p ٨ q)) = p→q | ||
*El resto sale ya | *El resto sale ya qye {¬,→} es adecuado | ||
→ *1 es adecuado | → *1 es adecuado | ||