Sumários

TP13-15

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

Exercícios 50, 54 (início)

AULA 13

2 Novembro 2018, 09:30 • Fernando Ferreira

As regras formais de introdução e eliminação do condicional.Exemplos de deduções formais com o condicional. As regras formais de introdução e eliminação do bicondicional. Um exemplo. As regras formais de introdução e eliminação da igualdade. Exemplos (incluindo simetria e transitividade). Fórmulas (ou sentenças) de Horn.

TP11-13

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

Exercícios 45, 46, 47.

Aula 13 TP14

31 Outubro 2018, 09:30 • Maria da Purificação Antunes Coelho

Exercícios 50 (conclusão), 54 e 59(1).

TP13-14

31 Outubro 2018, 08:00 • Mário Jorge Edmundo

Exercícios 45, 46, 47 e 48.