Sumários
Aula 14 TP14
7 Novembro 2018, 09:30 • Maria da Purificação Antunes Coelho
Exercícios 57, 61, 64(1), 64(2) e algumas das deduções formais pedidas no exercício 74.
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.