AV_Lógica Matemática.pat

Prévia do material em texto

Fechar
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: 9001/AA
Nota da Prova: 5,0 Nota de Partic.: 0 Data: 06/06/2014 15:16:31
 1a Questão (Ref.: 201107206442) Pontos: 1,5 / 1,5
Construa a tabela verdade da proposição composta (p ∧~p) →~(p∨q) e
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 f v f f v v é uma
tautologia pois a colunafinal está como verdadeira.
Gabarito:
Como na ultima coluna da tabela verdade so consta V, a proposição é uma tautologia.
 2a Questão (Ref.: 201107206660) Pontos: 0,0 / 1,5
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:
Gabarito: (a) Existe x tal que ( p -> q )
(b) Para todo x , ( p ^ ~q)
(c) Todos os automóveis naquela rua são antigos e não queimam oleo. 
 3a Questão (Ref.: 201107311131) Pontos: 0,5 / 0,5
Considere as proposições simples p: Maria é extremamente estudiosa e q: Pedro é muito inteligente.
Traduzindo para linguagem logica a frase em linguagem corrente "Maria é extremamente estudiosa ou Pedro é
muito inteligente", obtemos
 p v q
p ^ q
p <-> q
~p^q
p-> q
 4a Questão (Ref.: 201107416831) Pontos: 0,5 / 0,5
2, 3 e 5
 2 e 4
2, 4 e 5
1, 4 e 5
3 e 5
 5a Questão (Ref.: 201107416754) Pontos: 0,0 / 0,5
 
Considere a seguinte proposição:
Na eleição para a prefeitura, o candidato A será eleito ou não será eleito.
Do ponto de vista lógico, a afirmação da proposição caracteriza
 uma tautologia
um silogismo
uma contradição
 uma contingência
uma equivalência
 6a Questão (Ref.: 201107180272) Pontos: 0,5 / 0,5
Completando as afirmativas (I), (II), e (III) abaixo, temos, respectivamente:
(I) A condição: Um "sim" gera um "não" e um "não" gera um "sim", é representada pela porta lógica ________.
(II) A condição: A saída somente será "sim" se ambos os dados de entrada forem "sim" é representada pela
porta lógica _______.
(III) A condição: Para que o dado de saída seja "sim" basta que um dos dados de entrada seja "sim" é
representada pela porta lógica _______.
AND, OR, NOT.
NOT, OR, AND.
AND, NOT, OR.
OR, NOT, AND.
 NOT, AND, OR.
 7a Questão (Ref.: 201107311099) Pontos: 0,0 / 0,5
O significado de uma sentença não é construído simplesmente pela soma dos significados das palavras que a
compõem, mas também por estruturas sintáticas e lógicas que determinam a interpretação geral da sentença.
Considerando as equivalencias logicas conhecidas como Leis de Morgan determine a equivalencia lógica da
fase: " Não ocorre que: "A menina mais popular da rua vai a festa e ao cinema."
A menina mais popular da rua vai a festa se e somente se não vai ao cinema.
 A menina mais popular da rua não vai a festa e não vai ao cinema.
 A menina mais popular da rua não vai a festa ou não vai ao cinema.
A menina mais popular da rua vai a festa ou não vai ao cinema.
A menina mais popular da rua não vai a festa e vai ao cinema.
 8a Questão (Ref.: 201107239620) Pontos: 0,0 / 0,5
' Se o tempo está nublado então chove' é equivalente a:
 Se não chove então o tempo não está nublado.
O tempo está nublado ou não chove.
 Se o tempo não está nublado então não chove.
O tempo está nublado e não chove.
Se não chove então o tempo está nublado.
 9a Questão (Ref.: 201107421989) Pontos: 1,0 / 1,0
Qual o resultado da tabela verdade abaixo:
A B A . B
0 0 ?
0 1 ?
1 0 ?
1 1 ?
0 0 1 1
0 0 0 0
 0 0 0 1
1 1 1 1
0 1 0 1
 10a Questão (Ref.: 201107187586) Pontos: 1,0 / 1,0
Indique a opção correta para a proposição ~(∃x∀y∈A| x+y≤2):
(∀x∀y∈A| x+y≤2)
(∃x∃y∈A| x+y>2)
(∀x∀y∈A| x+y>2)
(∀x∃y∈A| x+y≤2)
 (∀x∃y∈A| x+y>2)
Período de não visualização da prova: desde 30/05/2014 até 16/06/2014.