Sumários
Aula 5 (primeira parte) - Condições e conjuntos
7 Abril 2021, 18:00 • Rita Sousa
Introdução aos quantificadores universal, existencial e de existência e unicidade com exemplos. Segundas Leis de Morgan. Noção de contraexemplo. Operações lógicas com condições e sua tradução em termos de conjuntos. Determinação de conjuntos solução de condições e factorização de polinómios.
Resolução de exercícios da "Ficha2_Lógica_Conjuntos".
Aula leccionada online através da plataforma Zoom.
Aula 4 - Lógica bivalente e teoria de conjuntos
6 Abril 2021, 18:00 • Rita Sousa
Introdução ao conceito de expressão designatória e de condição, solução de uma condição e conjunto solução de uma condição, classificação de condições (condições impossíveis, condições universais e condições possíveis não universais). Exemplos e aplicações.
Teoria de conjuntos: definição de conjunto em extensão e em compreensão. Igualdade, inclusão, intersecção, união e diferença (complementar) de conjuntos com exemplos.
Resolução de exercícios das "Ficha1_Logica_Bivalente" e "Ficha2_Logica_Conjuntos".
Aula leccionada online através da plataforma Zoom.
Aula 3 - Lógica bivalente
5 Abril 2021, 18:00 • Rita Sousa
Lógica bivalente: propriedades da negação, conjunção, disjunção, equivalência e implicação com exemplos. Primeiras leis de Morgan.
Resolução de exercícios da "Ficha 1_Lógica_Bivalente".
Aula leccionada online através da plataforma Zoom. Por motivos técnicos, a aula teve início às 19h e teve a duração de 2 horas.
Aula 2 - Lógica bivalente
1 Abril 2021, 18:00 • Rita Sousa
Lógica bivalente: operações lógicas e suas propriedades, negação, conjunção, disjunção, equivalência e implicação com exemplos.
Resolução de exercícios da "Ficha 1_Lógica_Bivalente".
Aula leccionada online através da plataforma Zoom.
Aula 1 - Lógica bivalente
31 Março 2021, 18:00 • Rita Sousa
Apresentação do módulo e introdução dos alunos novos.
Lógica bivalente: noções de termo e proposição, valor lógico de uma proposição, princípio de não contradição e princípio do terceiro excluído com exemplos. Introdução às operações lógicas e às tabelas de verdade, negação e equivalência com exemplos.
Resolução dos exercícios da "Ficha 0_Lógica_Bivalente".
Aula leccionada online através da plataforma Zoom.