Unidade 1 Lgica e teoria dos conjuntos

0.1.

Atividades iniciais

1.1.

Introduo logica bivalente

1.

Proposies

Uma proposio toda a expresso

designaes.

suscetvel de ter valor lgico. Uma expresso composta por vrios termos /

2.

Proposies equivalentes:

3.

Operaes lgicas definidas no universo das proposies e no universo dos valores lgicos
a)

Negao ~

Lei da dupla negao:

b) Conjuno

c)

Disjuno

d) Implicao ()

e)

Equivalncia ()

a.

Propriedades das conjunes e das disjunes

b.

Propriedades da implicao

4.

Simplificao de expresses envolvendo operaes de preposies

1.2.

Condies e conjuntos

1- Expresso proporcional ou condio

2- Quantificador universal

3- Quantificador existencial

4- Classificaes de condies
a. Condio Universal

b.

Condio Possvel

Propriedade da disjuno de condies

Propriedades das conjunes de condies

5- Segundas leis de Morgan

6- Negao de uma condio

6.1- Negao de uma implicao

6.2. Negao de uma preposio quantificada num conjunto

7- Conjuntos e Condies

10

11

8- Implicao entre condies

12