Sumários
Aula 2
6 Março 2023, 18:00 • Rita Sousa
Operações lógicas sobre condições. Quantificador existencial e universal.
Condições possíveis, impossíveis e universais.
Segundas Leis de Morgan.
Definição de um Conjunto em extensão e compreenssão.
Operação sobre condições.
Aula2-Lógica Bivalente e Teoria dos Conjuntos
6 Março 2023, 18:00 • Rita Sousa
Discussão e esclarecimentos sobre a operação lógica de implicação. Propriedades das operações lógicas de negação, conjunção e disjunção: comutatividade e associatividade e regras distributivas. Propriedades da implicação e da equivalência. Ordem das operações lógicas.
Definição de conjunto em extensão e compreensão. Igualdade, inclusão, interseção, união e diferença (complementar) de conjuntos. Expressões e condições. Universo, domínio de definição, conjunto solução. Condições possíveis, impossíveis e universais.
Teoria de Conjuntos - Parte 1
4 Março 2023, 10:00 • Rita Sousa
Introdução à teoria de conjuntos
Interseção e União de conjuntos
Diagramas de Venn
Complementar de um conjunto
Resolução de Exercícios
Aula1-Lógica Bivalente
3 Março 2023, 18:00 • Rita Sousa
Definição de termo e de proposição. Valor lógico de uma 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. Tautologias e contradições. Primeiras leis de Morgan.
Lógica - Parte 2
2 Março 2023, 19:00 • Rita Sousa
Leis de Morgan.
Propriedades das operações lógicas.
Resolução de exercícios.