Edición de «Práctica 7 (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 101: | Línea 101: | ||
Con lo cual la rama queda saturada, por lo que la negacion es satisfacible | Con lo cual la rama queda saturada, por lo que la negacion es satisfacible | ||
NOTA: en la ultima linea dice <math>\neg P(c, b)</math>, no deberia decir <math>\neg P(a, b)</math> | |||
===b)=== | ===b)=== |