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. 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

Lei da dupla negação:

b) Conjunção ∧

c) Disjunção ∨

4

d) Implicação (⟹)

5

e) Equivalência (⟺)

a. Propriedades das conjunções e das disjunções

6

b. Propriedades da implicação

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

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

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

6.2. Negação de uma preposição quantificada num conjunto

7- Conjuntos e Condições

11

12

8- Implicação entre condições