TP12 - 15 de outubro

15 Outubro 2020, 10:00 • Maria da Purificação Antunes Coelho

Exercícios 7, 8, 9, 10 e 20 (a)-(h).

TP12 - 13 de outubro

13 Outubro 2020, 10:30 • Maria da Purificação Antunes Coelho

Informações acerca do modo como vão decorrer as aulas TP. Discussão e correção dos exercícios 1 a 6. Considerações sobre o uso de parêntesis na representação simbólica de asserções.

Aula teórica 3

13 Outubro 2020, 09:30 • Maria da Purificação Antunes Coelho

Tabela de verdade da implicação material. Antecedente e consequente de uma implicação. Apresentação informal de algumas regras de inferência envolvendo a implicação, nomeadamente as  regras Modus Ponens  e Modus Tollens. Fórmulas e suas tabelas de verdade. Fórmulas logicamente equivalentes.

TP13 - 12 de outubro

12 Outubro 2020, 13:30 • Maria da Purificação Antunes Coelho

Informações acerca do modo como vão decorrer as aulas TP. Discussão e correção dos exercícios 1,2,3,5 e 6. Considerações sobre o uso de parêntesis na representação simbólica de asserções.

TP11: análise lógica. Tipologia da aula: videoconferência + presencial.

12 Outubro 2020, 11:00 • Mário João de Jesus Branco