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.

---

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

---

T: Asserções e valores lógicos.

22 Setembro 2026, 10:00 • Mário João de Jesus Branco

Valores lógicos, asserções e as operações lógicas de conjunção, disjunção, negação, condicionalização e bicondicionalização. Exemplos.

---

TP14: Sem aula.

21 Setembro 2026, 13:30 • Mário João de Jesus Branco

Não houve aula pelo facto de ainda não ter sido dada matéria nas aulas teóricas.

---