Sumários

AULA 18

22 Novembro 2016, 10:30 • Fernando Ferreira

Variáveis. Termos com variáveis (os termos sem variáveis são os termos fechados).

Substituição simultânea (de variáveis por termos). Pares de termos unificáveis. Sete exemplos. Substituição unificadora mais geral (mgu: most general unifier). Algoritmo de unificação mais geral: um exemplo.

17 TP11

22 Novembro 2016, 08:00 • Fernando Ferreira

Exercícios 77(2)(3), 84, 86(4)(5) e 87(3)(4).

Aula 18 - TP12

21 Novembro 2016, 12:00 • Maria da Purificação Antunes Coelho

Entrega do segundo mini-teste e esclarecimento de dúvidas sobre algumas questões do mesmo. Resolução dos exercícios 87 (alíneas 2 e 3), 90, 91 e 93(2).

Aula 17 - TP13

21 Novembro 2016, 08:00 • Maria da Purificação Antunes Coelho

Entrega do segundo mini-teste e esclarecimento de dúvidas sobre algumas questões do mesmo. Resolução dos exercícios 86 (alíneas 5 e 6), 87 (alíneas 2 e 3), 90, 91 e 77(2).

AULA 17

18 Novembro 2016, 09:30 • Fernando Ferreira

Correção e completude do método de resolução. O método de resolução como método de dedução. Exemplos.

A dedução da lei do terceiro excluído no sistema de dedução de Fitch.

* Chegou-se ao fim da matéria do cálculo proposicional *