AULA 14

6 Novembro 2018, 10:30 • Fernando Ferreira

Forma condicional das cláusulas de Horn. Algoritmo da satisfação de Horn. Três exemplos.

Exemplo e discussão duma dedução formal fácil.