Sumários

5 Dezembro 2017, 10:30 • Fernando Ferreira

Mais exemplos de traduções do português para a linguagem da LPO.

A regra da generalização universal (AIntro). Exemplo de argumento informal e de dedução formal.

5 Dezembro 2017, 08:00 • Fernando Ferreira

Exercícios 121, 123(1)(2)(3) e 134.

4 Dezembro 2017, 12:00 • Maria da Purificação Antunes Coelho

Exercício 121. Exercício 136 e dedução formal correspondente. Exercícios 137 e 138.

4 Dezembro 2017, 08:00 • Maria da Purificação Antunes Coelho

Conclusão do exercício 121. Exercício 136 e dedução formal correspondente. Exercícios 137 e 138.

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

Exercícios 123 (alíneas 1 a 5), 124 (alíneas 2 e 3) e 134. Dedução formal do argumento do exercício 134.