Buscar

AV2 LÓGICA MATEMÁTICA 2016.2

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes
Você viu 3, do total de 4 páginas

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Prévia do material em texto

Fechar 
 
Avaliação: CEL0417_AV2_ » LÓGICA MATEMÁTICA 
Tipo de Avaliação: AV2 
Aluno: 
Professor: DANIEL PORTINHA ALVES Turma: 9001/AA 
Nota da Prova: 3,0 de 10,0 Nota do Trab.: 0 Nota de Partic.: 0 Data: 05/12/2016 20:52:12 
 
 
 1a Questão (Ref.: 201202514882) Pontos: 0,0 / 1,0 
Construa a tabela verdade da proposição composta p→(p→(q ∧~q)) e 
determine se a proposição é uma tautologia, uma contradição ou uma 
contingência. Justifique sua resposta. 
 
 
 
Resposta: 
 
 
Gabarito: 
 
Como na ultima coluna da tabela verdade aparecem V e F pelo menos uma vez cada, 
a proposição é uma contigência. 
 
 
 
 2a Questão (Ref.: 201203057804) Pontos: 0,0 / 1,0 
Faça a tabela verdade da expressão de álgebra booleana 
 S = A¯ + B¯. 
 
 
Resposta: 
 
 
Gabarito: 
A B A¯ + B¯ 
0 0 1 
0 1 1 
1 0 1 
1 1 0 
 
 
 
 3a Questão (Ref.: 201202549258) Pontos: 1,0 / 1,0 
Sejam as proposições p: Está frio; e q: Está chovendo. Qual das proposições representa a proposição : Se está 
frio e não chove então está frio. 
 
 
¬(¬p∧¬q) 
 
¬(p∨¬q)→p 
 
q↔¬p 
 
¬p∧¬q 
 p∧¬q→p 
 
 
 
 4a Questão (Ref.: 201202548928) Pontos: 0,0 / 1,0 
Para as fórmulas a seguir 
I - p∨¬(p∧q) 
II - (p∧q)∧¬(p∨q) 
III - (p∧¬p) 
IV - p∨(q∧¬q)↔p 
Assinale quais são classificadas como tautologia. 
 
 
As opções I, III e IV. 
 
As opções III e II. 
 Apenas a IV. 
 
Apenas as opções I e II. 
 As opções I e IV. 
 
 
 
 5a Questão (Ref.: 201202496025) Pontos: 0,0 / 1,0 
A proposição (~p∧~q)∨(p∧q) é equivalente a qual proposição: 
 
 
p→q 
 
~p→~q 
 
p^q 
 pvq 
 p↔q 
 
 
 
 6a Questão (Ref.: 201202491243) Pontos: 0,0 / 1,0 
Qual das sentenças abaixo é considerada falsa: 
 
 A proposição contrapositiva de ~p→~q: ~q→~p; 
 
A proposição contrapositiva de p→q: ~q→~p; 
 
A proposição contrária p→q: ~p→~q; 
 
A proposição recíproca de p→q: q→p; 
 A proposição contrária ~p→~q: ~(~p)→~(~q). 
 
 
 
 7a Questão (Ref.: 201202730437) Pontos: 0,0 / 1,0 
Qual o resultado da tabela verdade abaixo: 
A B A . B 
0 0 ? 
0 1 ? 
1 0 ? 
1 1 ? 
 
 
 
0 0 0 0 
 0 0 0 1 
 
0 0 1 1 
 0 1 0 1 
 
1 1 1 1 
 
 
 
 8a Questão (Ref.: 201202496058) Pontos: 1,0 / 1,0 
Se Nestor disse a verdade, Júlia e Raul mentiram. Se Raul mentiu, Lauro falou a verdade. Se Lauro 
falou a verdade, há um leão feroz nesta sala. Ora, não há um leão feroz nesta sala. Logo: 
 
 
Raul e Júlia mentiram. 
 
Raul e Lauro mentiram. 
 Nestor e Lauro mentiram. 
 
Nestor e Júlia disseram a verdade. 
 
Raul mentiu ou Lauro disse a verdade. 
 
 
 
 9a Questão (Ref.: 201202730442) Pontos: 1,0 / 1,0 
Determine o conjunto-solução da seguinte sentença aberta: | 2x - 5 | > 5. Para U = {1, 3, 4, 7, 9, 11}: 
 
 S = {7, 9, 11} 
 
S = {9, 11} 
 
S = {1, 7, 9, 11} 
 
S = {4, 7, 9, 11} 
 
S = {11} 
 
 
 
 10a Questão (Ref.: 201203192842) Pontos: 0,0 / 1,0 
A regra de inferência representada pela expressão (p-->q) ^(q--> r) => p-->r é chamada de: 
 
 
Simplificação 
 Silogismo DIsjuntivo 
 Silogismo Hipotético 
 
Absorção 
 
Eliminação 
 
 
 
Observação: Estou ciente de que ainda existe(m) 2 questão(ões) não respondida(s) ou salva(s) no sistema, e que mesmo 
assim desejo finalizar DEFINITIVAMENTE a avaliação. 
 
Data: 05/12/2016 21:17:02

Outros materiais