Sumários

Aula teórica 2

19 Setembro 2019, 11: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. O uso de parêntesis na representação simbólica de asserções.

TP12 aula 1

19 Setembro 2019, 10:00 • Maria da Purificação Antunes Coelho

Breves palavras introdutórias.
Correção dos exercícios 1 a 6. Revisão das tabelas de verdade da negação, da conjunção e da disjunção.

TP12 aula 0

17 Setembro 2019, 10:30 • Maria da Purificação Antunes Coelho

Não houve aula.

Aula Teórica 1

17 Setembro 2019, 09:30 • Maria da Purificação Antunes Coelho

Apresentação. Objetivos e programa da disciplina. Método de avaliação.

Asserções. Operações lógicas sobre asserções (negação, conjunção, disjunção, implicação material e equivalência material) e respetivos símbolos conectivos.

TP 13 aula 0

16 Setembro 2019, 13:30 • Maria da Purificação Antunes Coelho

Não houve aula.