Sumários

Aula 1

2 Março 2023, 18:00 • Rita Sousa

Proposição versus designação.

Valor lógico de uma proposição, princípio de não contradição e do terceiro excluído. Negação, conjunção, disjunção, implicação, equivalência.

Operadores lógicos, propriedades e tabelas de verdade, primeiras

Leis de De Morgan.

Definição de termo e de proposição. Princípio da não contradição e princípio do terceiro excluído. Operações lógicas: Negação, Conjunção, Disjunção, Implicação e Equivalência. Tabelas de verdade. Ordem das operações lógicas. Tautologias e contradições. Propriedades das operações lógicas: Comutatividade e associatividade da conjunção e da disjunção, regras distributivas e primeiras leis de Morgan.

Lógica - Parte 1

1 Março 2023, 19:00 • Rita Sousa

Entrega e revisão dos teste.

Introdução a lógica.

Tabelas de verdade.

Resolução de exercícios