T: Tabelas de verdade e análise lógica.

24 Setembro 2026, 11:30 • Mário João de Jesus Branco

Tabelas de verdade da conjunção e da disjunção. Disjunção e disjunção exclusiva. Tabela de verdade da disjunção exclusiva. Exemplos de asserções com a condicionalização. Tabelas de verdade da condicionalização e da bicondicionalização. Asserções elementares, análise lógica e forma lógica de uma asserção. Exemplo.

---

TP12 - Valores logicos e operações lógicas

24 Setembro 2026, 10:00 • Ana Catarina Cristino Monteiro

Resolução dos exercícios 1 a 7.

---

TP14: Análise lógica.

23 Setembro 2026, 11:30 • Mário João de Jesus Branco

Explicação sobre o funcionamento das aulas teórico-práticas. Resolução dos Exercícios 1-6.

---

TP4

23 Setembro 2026, 08:00 • Marko Stosic

Inicio de lógica matemática

---

TP12 - Aula não lecionada

22 Setembro 2026, 11:00 • Ana Catarina Cristino Monteiro

As aulas TP começam a 24/09

---