Sumários

Aula - 3

10 Janeiro 2024, 19:00 Paulo Henrique Contente Rocha


Leis de Morgan
Tautologias e Contradições
Resolução dos Exercícios: Ex7, Ex8, Ex9, Ex11 e Ex12

Aula - 2

8 Janeiro 2024, 19:00 Paulo Henrique Contente Rocha


Operações lógicas: negação, conjunção, disjunção, implicação e equivalência.

Tabelas de verdade.

Reolução dos exercícios: Ex1, Ex2, Ex3, Ex4 e Ex5.

Aula - 1

4 Janeiro 2024, 19:00 Paulo Henrique Contente Rocha


Revisão de Prova.

Resolução do teste do MA1.

Axiomas lógicos.

Proposições e termos.