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 108: | Línea 108: | ||
<br>Para {↓}: | <br>Para {↓}: | ||
*¬p = p↓p | *¬p = p↓p | ||
*p٧q = (p↓p) | *p٧q = (p↓p)(q↓q) | ||
Por lo tanto {↓} es adecuado | Por lo tanto {↓} es adecuado |