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 140: | Línea 140: | ||
*p→q ya esta definido | *p→q ya esta definido | ||
*¬p = p→F = ¬p | *¬p = p→F = ¬p | ||
* | *p٨q = ¬(p → ¬q) | ||
*p٧q = ¬p → q | |||
→ {F,→} es adecuado | → {F,→} es adecuado | ||
===b)=== | ===b)=== | ||
No es adecuado. Solo se pueden dar 2 casos: | No es adecuado. Solo se pueden dar 2 casos: |