Atps L gica 1
CIÊNCIA DA COMPUTAÇÃO
ATPS DE
LÓGICA MATEMÁTICA
BRUNA ANGÉLICA DOS SANTOS - RA: 8205972565
CAROLINE CASTRO COUTINHO LUIZ - RA: 8062791894
DOUGLAS DE MELO GONÇALVES - RA: 1299222577
JOÃO PEDRO DOS SANTOS - RA: 8205972908
YURI NASCIMENTO - RA: 8062805037
VALINHOS - SP
JUNHO - 2015
BRUNA ANGÉLICA DOS SANTOS
CAROLINE CASTRO COUTINHO LUIZ
DOUGLAS DE MELO GONÇALVES
JOÃO PEDRO DOS SANTOS
YURI NASCIMENTO
Trabalho apresentado ao Professor Marco Antônio Alves da disciplina Lógica Matemática da turma do 3º Semestre, turno Noturno, do curso de Ciência da Computação.
VALINHOS - SP
JUNHO - 2015
SUMÁRIO
1 - INTRODUÇÃO 3
2 – ETAPA 3 4
3 – ETAPAS 4 e 5 4
4 – ETAPA 6 5
5 – ETAPAS 7 e 8 6
6 - CONCLUSÃO 7
7 - BIBLIOGRAFIA 8
1 - INTRODUÇÃO
O presente trabalho tem como objetivo as resoluções das etapas 3,4,5,6,7 e 8 da ATPS de Lógica onde é abordado o tema Lógica Proposicional, argumentos Válidos, Regras de Dedução, Métodos Dedutivos, Argumentos Verbais, Técnicas de Demonstração.
2 – ETAPA 3
Se [~( V v I ) v ( ~V ^ I ) ] -> P1 [ (~V ^ ~I ) v (~V ^ I) ] -> P1 [ ~V ^ ( ~I v I ) ] -> P1 ~V ^ T ~V -> P1
Se ~( valor 1 < valor 2) então P1
Senão P2
3 – ETAPAS 4 e 5
Se Maria V
Então Júlio F
Se Júlio F
Então Luiz F
Se Luiz F
Então não vai haver exibição da peça.
4 – ETAPA 6
N (x) = x notebook
U (x) = x tem USB
B (x) = x tem LB
( U C x) ^ B(x) ) ^ N(x) V ^ V V
U (x)
B (x)
N (x) V V V V F V V V F F F V F V F F F F U (x) v B (x) (U (x) v B (x) ^N (x)
V
V
V
V
V
F
F
F
V
F
F
F
5 – ETAPAS 7 e 8
X1 X2
3 – CONCLUSÃO
Este trabalho teve como objetivo desenvolver as atividades propostas de acordo com o conteúdo apresentado em sala de aula, que foram resolvidos a partir da