AULA 15
11 Novembro 2016, 09:30 • Fernando Ferreira
Finalização da descrição das regras do sistema de Fitch para o bicondicional (equivalência material).
Sentenças de Horn. Cláusulas de Horn. Forma condicional das cláusulas de Horn. O algoritmo da satisfação de Horn: três exemplos.