Sumários

Aula 14 (TP12)

6 Novembro 2017, 12:00 • Maria da Purificação Antunes Coelho

Conclusão dos exercícios 62 e 74. Resolução dos exercícios 75(1), 75(2), 77(2) e 79.

Aula 14 (TP13)

6 Novembro 2017, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 64, 62, 74, 75(1) e 75(2).

AULA 14

3 Novembro 2017, 09:30 • Fernando Ferreira

Outro exemplo de uma dedução formal que usa o (->Intro). As regras de introdução e eliminação do bicondicional (equivalência material). As regras de introdução e eliminação da igualdade. Um exemplo. Deduções formais da simetria e transitividade da igualdade.

Breves palavras introdutórias às sentenças de Horn.

TP14

3 Novembro 2017, 08:00 • Fernando Ferreira

Exercícios 62, 74, 64(1)(2), 65 e 68.

Aula 13 (TP12)

2 Novembro 2017, 10:30 • Maria da Purificação Antunes Coelho

Exercício 64. Resolução parcial dos exercícios 62 e 74.