Última clase sobre lógica proposicional donde se explicó la resolución proposicional, algoritmo y posibles extensiones o modificaciones.
Se puso en la página de la asignatura el pseudocódigo del algoritmo y un ejemplo de ejecución del mismo.
Última clase sobre lógica proposicional donde se explicó la resolución proposicional, algoritmo y posibles extensiones o modificaciones.
Se puso en la página de la asignatura el pseudocódigo del algoritmo y un ejemplo de ejecución del mismo.