Sumários

Aula 6 - TP12

10 Outubro 2016, 12:00 • Maria da Purificação Antunes Coelho

Exercícios 25 (conclusão), 28, 29 e 30.

Aula 5 - TP13

10 Outubro 2016, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 22, 25 e 29. Algumas alíneas do exercício 28. Alínea 2 do exercício 30.

AULA 6

7 Outubro 2016, 09:30 • Fernando Ferreira

Forma normal disjuntiva (FND). Forma normal conjuntiva (FNC). Toda a sentença do cálculo proposicional é tt-equivalente a uma sentença em FND. Toda a sentença do cálculo proposicional é tt-equivalente a uma sentença em FNC.

A noção de consequência lógica. O sinal de consequência lógica. Premissas e conclusão. O que é um contra-exemplo para mostrar que uma sentença não é consequência lógica de dadas premissas.

5 TP11

7 Outubro 2016, 08:00 • Fernando Ferreira

Conclusão do exercício 23. Exercícios 22, 25, 26 e 28.

Aula 5 - TP12

6 Outubro 2016, 10:30 • Maria da Purificação Antunes Coelho

Alínea 7 do exercício 19. Exercícios 22 e 23. Algumas alíneas do exercício 25.