Sumários

28 Setembro 2016, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 5 (conclusão), 10, 12, 13 (alíneas (1) a (5)) e 15.

27 Setembro 2016, 10:30 • Fernando Ferreira

Especificação duma linguagem da lógica de primeira-ordem. Termos. Sentenças atómicas.

Negação, conjunção e disjunção. Ambiguidade e parênteses (árvores de formação).

As leis da dupla negação, associatividade, distributividade, De Morgan e absorção.

27 Setembro 2016, 08:00 • Fernando Ferreira

Exercícios 4, 7, 8, 9 e 14.

26 Setembro 2016, 12:00 • Maria da Purificação Antunes Coelho

Exercícios 5 (mundo de Leibniz), 6, 7, 8 (1ª parte), 9 e 14.

26 Setembro 2016, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 5 (mundo de Leibniz), 6, 7, 8 (1ª parte), 9 e 14.