Sumários

Aula 20 TP14

28 Novembro 2018, 09:30 • Maria da Purificação Antunes Coelho

Exercícios 97 (alíneas 1, 2  e 3), 90 e 93 (alíneas 1 e 6).

TP13-22

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

Exercícios 90 [conclusão], 93 (1, 3, 5) [conclusão], 95  (2, 3, 5), 97 (1, 3), 98 (1, 3), 99 (10, 12, 14, 15, 23, 24, 27, 29), 104 (1, 3, 7), 106 (4, 7, 12, 13, 14), 108 (2, 4, 9, 10, 11, 12, 13).

AULA 20

27 Novembro 2018, 10:30 • Fernando Ferreira

Definição de fórmula e de sentença duma dada linguagem da lógica de primeira-ordem.

Formas aristotélicas: universal afirmativa, universal negativa, particular afirmativa e particular negativa. Exemplos.
Vários exemplos de traduções da linguagem natural para a linguagem do mundo de blocos.

TP11-20

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

Exercícios 87 (1, 3), 90, 93 (1, 3, 5), 95 (2, 3, 5), 97 (1), 98 (1, 3), 99 (10, 12, 14, 15).

20 TP12

26 Novembro 2018, 12:00 • Fernando Ferreira

Exercícios 90, 92, 93(1)(6) e 95.