Sumários
Aula teórica 21
25 Novembro 2025, 10:00 • Maria João Antunes Dias Gouveia
Condicional (implicação material): tabela de verdade e determinação do valor de verdade de algumas implicações. Lei do contrarrecíproco.
Aula teórica 20
20 Novembro 2025, 11:30 • Maria João Antunes Dias Gouveia
As regras de eliminação e de introdução da disjunção; demonstrações simples para ilustrar a aplicação das regras. Propriedades da conjunção e da disjunção.
Aula 21
19 Novembro 2025, 08:00 • Marko Stosic
Correção do teste.
Aula teórica 19
18 Novembro 2025, 10:00 • Maria João Antunes Dias Gouveia
Disjunção e negação: tabelas de verdade; determinação do valor de verdade de proposições; proposições tautologicamente vequivalentes e logicamente equivalentes.