unidade 1 logica e teoria de conjuntos
TRANSCRIPT
![Page 1: Unidade 1 logica e teoria de conjuntos](https://reader034.vdocuments.pub/reader034/viewer/2022052418/587282381a28abc7068b6749/html5/thumbnails/1.jpg)
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.
![Page 2: Unidade 1 logica e teoria de conjuntos](https://reader034.vdocuments.pub/reader034/viewer/2022052418/587282381a28abc7068b6749/html5/thumbnails/2.jpg)
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 ~
![Page 3: Unidade 1 logica e teoria de conjuntos](https://reader034.vdocuments.pub/reader034/viewer/2022052418/587282381a28abc7068b6749/html5/thumbnails/3.jpg)
3
Lei da dupla negação:
b) Conjunção ∧
c) Disjunção ∨
![Page 4: Unidade 1 logica e teoria de conjuntos](https://reader034.vdocuments.pub/reader034/viewer/2022052418/587282381a28abc7068b6749/html5/thumbnails/4.jpg)
4
d) Implicação (⟹)
![Page 5: Unidade 1 logica e teoria de conjuntos](https://reader034.vdocuments.pub/reader034/viewer/2022052418/587282381a28abc7068b6749/html5/thumbnails/5.jpg)
5
e) Equivalência (⟺)
a. Propriedades das conjunções e das disjunções
![Page 6: Unidade 1 logica e teoria de conjuntos](https://reader034.vdocuments.pub/reader034/viewer/2022052418/587282381a28abc7068b6749/html5/thumbnails/6.jpg)
6
b. Propriedades da implicação
![Page 7: Unidade 1 logica e teoria de conjuntos](https://reader034.vdocuments.pub/reader034/viewer/2022052418/587282381a28abc7068b6749/html5/thumbnails/7.jpg)
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
![Page 8: Unidade 1 logica e teoria de conjuntos](https://reader034.vdocuments.pub/reader034/viewer/2022052418/587282381a28abc7068b6749/html5/thumbnails/8.jpg)
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
![Page 9: Unidade 1 logica e teoria de conjuntos](https://reader034.vdocuments.pub/reader034/viewer/2022052418/587282381a28abc7068b6749/html5/thumbnails/9.jpg)
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
![Page 10: Unidade 1 logica e teoria de conjuntos](https://reader034.vdocuments.pub/reader034/viewer/2022052418/587282381a28abc7068b6749/html5/thumbnails/10.jpg)
10
6.2. Negação de uma preposição quantificada num conjunto
7- Conjuntos e Condições
![Page 11: Unidade 1 logica e teoria de conjuntos](https://reader034.vdocuments.pub/reader034/viewer/2022052418/587282381a28abc7068b6749/html5/thumbnails/11.jpg)
11
![Page 12: Unidade 1 logica e teoria de conjuntos](https://reader034.vdocuments.pub/reader034/viewer/2022052418/587282381a28abc7068b6749/html5/thumbnails/12.jpg)
12
8- Implicação entre condições