Lógica matemática

CIÊNCIA DA COMPUTAÇÃO

ATPS DE LÓGICA MATEMÁTICA

De acordo com o que foram requisitados no ATPS de
Lógica

Matemática,

todos

os

resultados

foram

desenvolvidos baseados nas aulas ministradas em sala.

2013

SUMÁRIO

INTRODUÇÃO ------------------------------------------------------------------ 4
ETAPA 4 -------------------------------------------------------------------------------- 5
ETAPA 5 -------------------------------------------------------------------------------- 6
ETAPA 6 -------------------------------------------------------------------------- 7
ALGEBRA DE BOOLE ---------------------------------------------------------- 8
Interpretações Lógicas ---------------------------------------------------------- 10
Álgebra de Boole e Conjuntos Clássicos ---------------------------------------- 13
CONCLUSÃO-------------------------------------------------------------------- 14
BIBLIOGRAFIA----------------------------------------------------------------- 15

INTRODUÇÃO

De acordo com o que foi requisitado no ATPS de Lógica Matemática, todos os resultados foram desenvolvidos baseados nas aulas ministradas em sala

Resolução
*Etapa 4 (passo 4):
Resposta: “B”
Letra encontrada: “O”.

* Etapa 5 :
A etapa numero 5 pede para que a equipe dê continuidade a etapa 4 (passo 3 e 4).
Etapa 4 (passo 3):
Traduzir o texto apresentado no passo 2 para a linguagem proposicional de acordo com a simbologia estudada no livro texto.
Texto: “José quer ir ao teatro assistir à peça ‘A Vida é uma Comédia’”, mas não tem certeza se a mesma está sendo exibida. Seus amigos, Maria, Luís e Júlio têm opiniões discordantes sobre se a peça está ou não em cartaz.
Se Maria estiver certa, então Júlio está enganado. Se Júlio estiver enganado, então Luís está enganado. Se Luís estiver enganado, então a peça não está sendo exibida.
Ora, ou a peça ‘A Vida é uma Comédia’ está sendo exibida, ou José não irá ao teatro.
“Verificou-se que