Sumários

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.

7 Novembro 2018, 08:00 • Mário Jorge Edmundo

Exercícios 54 (conclusão), 57, 59 e 62.

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.

6 Novembro 2018, 08:00 • Mário Jorge Edmundo

Exercícios 50 e 54.

5 Novembro 2018, 12:00 • Fernando Ferreira

Exercícios 56, 57, 58, 59(1) e 62.