AV LM 2014.1

Prévia do material em texto

Avaliação: CEL0482_AV_201107156701 » LÓGICA MATEMÁTICA
Tipo de Avaliação: AV
Aluno: 201107156701 - PATRÍCIA ARAÚJO DA SILVA
Professor: ANA LUCIA DE SOUSA Turma: 
Nota da Prova: 5,0 Nota de Partic.: 0 Data: 06/06/2014 15:16:31
 1
a
 Questão (Ref.: 201107206442)
Construa a tabela verdade da proposição composta (p ∧~p) →
determine se a proposição é uma tautologia, uma contradição ou uma
contingência. Justifique sua resposta. 
Resposta: p q ~p pvq p^~p ~(pvq) (p^~p ->~(pvq) v v f v f f v v f f v f f v f v v v f f v f 
tautologia pois a colunafinal está como verdadeira.
Gabarito:
Como na ultima coluna da tabela verdade so consta V, a proposição é uma tautologia.
 2
a
 Questão (Ref.: 201107206660)
Observe a frase em linguagem corrente: Existem automóveis naquela rua que se são antigos, então queimam
óleo.
Pede-se:
(a) Transforme a frase de linguagem corrente em linguagem lógica de predicados. 
(b) Negue a frase sob esta linguagem lógica de predicados, com o auxilio das equivalencias logicas e 
(c) Transcreva, na linguagem corrente, a frase obtida na linguagem lógica de predicados, apresentando-a na
forma mais simples.
Observação: Não é permitido simplesmente acrescentar o não antes da frase.
Resposta: