O documento aborda a lógica bivalente e a teoria dos conjuntos, detalhando conceitos como proposições, operações lógicas, e suas propriedades. Também explora condições e quantificadores, apresentando leis de negação e implicações entre condições. A estrutura do texto foca na simplificação de expressões e na relação entre conjuntos e condições.

1. 1
Unidade 1 – Lógica e teoria dos conjuntos
0.1. Atividades iniciais
1.1. Introdução à logica bivalente
1. Proposições
Uma proposição é toda a expressão suscetível de ter valor lógico. Uma expressão é composta por vários termos /
designações.

2. 2
2. Proposições equivalentes:
3. Operações lógicas definidas no universo das proposições e no universo dos valores lógicos
a) Negação ~

3. 3
Lei da dupla negação:
b) Conjunção ∧
c) Disjunção ∨

4. 4
d) Implicação (⟹)

5. 5
e) Equivalência (⟺)
a. Propriedades das conjunções e das disjunções

6. 6
b. Propriedades da implicação

7. 7
4. Simplificação de expressões envolvendo operações de preposições
1.2. Condições e conjuntos
1- Expressão proporcional ou condição
2- Quantificador universal

8. 8
3- Quantificador existencial
4- Classificações de condições
a. Condição Universal
b. Condição Possível
Propriedade da disjunção de condições

9. 9
Propriedades das conjunções de condições
5- Segundas leis de Morgan
6- Negação de uma condição
6.1- Negação de uma implicação

10. 10
6.2. Negação de uma preposição quantificada num conjunto
7- Conjuntos e Condições

11. 11

12. 12
8- Implicação entre condições