Buscar

AVS Lógima Matemática

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

06/07/2017 BDQ Prova
http://simulado.estacio.br/bdq_prova_resultado_preview.asp 1/4
 Elton araujo Oliveira201607038901 EAD NOVA IGUAÇU - RJ Fechar 
 
 
Disciplina: LÓGICA MATEMÁTICA
Avaliação: CEL0482_AVS_201607038901 Data: 27/06/2017 19:56:28 (F) Critério: AVS
Aluno: 201607038901 - ELTON ARAUJO OLIVEIRA
Professor: MARIO SERGIO TARANTO Turma: 9002/AB
Nota Prova: 8,0 de 8,0 Nota Partic.: 0,0 Av. Parcial.: 2,0 Nota SIA: 10,0 pts
 
 
LÓGICA MATEMÁTICA 
 
 1a Questão (Ref.: 67270) Pontos: 1,0 / 1,0
Nas regras de Equivalência lógica P⇔Q ( P é equivalente a Q) temos
que P↔Q é uma tautologia. Prove usando tabela verdade que
(p⋀q)→r⇔p→(q→r)
 
Resposta: p VVVVFFFF / q VVFFVVFF / r VFVFVFVF / (p^q) VVFFFFFF / (p^q)->r VFVVVVVV / (q->r) VFVVVFVV p->
(q->r) VFVVVVVV / (p^q)->r <-> p(q->r) VVVVVVVV / P=>Q / Q=>P / P<=>Q
 
 
Gabarito:
Solução:
Devemos provar que (p⋀q)→r↔p→(q→r) é uma tautologia.
p q r p⋀q P:(p⋀q)→r q→r Q:p→(q→r) P↔Q
 v v v v v v v v 
 v v f v f f f v
 v f v f v v v v
 v f f f v v v v
 f v v f v v v v
 f v f f v f v v
 f f v f v v v v
 f f f f v v v v
 
 
 2a Questão (Ref.: 34296) Pontos: 1,0 / 1,0
06/07/2017 BDQ Prova
http://simulado.estacio.br/bdq_prova_resultado_preview.asp 2/4
Observe a frase em linguagem corrente: Todos os automóveis naquela rua, 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: (a) A(p->q) (b) E(p^~q) (c) Existe automóveis naquela rua que são antigos e não queimam óleo.
 
 
Gabarito:
(a) Para todo x, ( p -> q )
(b) Existe x , ( p ^ ~q)
(c) Existem automóveis naquela rua que são antigos e não queimam oleo.
 
 
 3a Questão (Ref.: 566607) Pontos: 1,0 / 1,0
Uma investigação da Polícia Federal é formada por 9 agentes da superintendência regional de Espirito Santo, 8 da
regional de São Paulo, 12 da regional do Rio de janeiro e 5 da regional de Bahia. Quantos agentes, no mínimo,
devemos escolher para termos certeza de que retiramos dois da mesma regional?
4 agentes
35 agentes
34 agentes
13 agentes
 5 agentes
 Gabarito Comentado.
 
 4a Questão (Ref.: 138760) Pontos: 1,0 / 1,0
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^q
 p v q
p <-> q
p-> q
p ^ q
 Gabarito Comentado.
 
 5a Questão (Ref.: 228077) Pontos: 1,0 / 1,0
De acordo com as proposições ~p V (p → q) e p → (p Λ q), é correto afirmar que:
 As proposições são equivalentes
A segunda proposição é uma tautologia.
A primeira proposição é uma contingência e a segunda é uma tautologia.
A primeira proposição é uma tautologia.
A segunda proposição é uma contradição.
 Gabarito Comentado.
06/07/2017 BDQ Prova
http://simulado.estacio.br/bdq_prova_resultado_preview.asp 3/4
 
 6a Questão (Ref.: 566614) Pontos: 1,0 / 1,0
De acordo com a fórmula ~q Λ (p → q) ==> ~p, qual alternativa abaixo está CORRETA em relação as regras de
inferência desta implicação lógica?
Simplificação
Eliminação
 Modus Tollens
Modus Ponens
Adição
 
 7a Questão (Ref.: 711880) Pontos: 0,5 / 0,5
Observe as afirmações: I - "p -- q" e "~p v q" são logicamente equivalentes; II - ~p v q é uma tautologia III - p ---
> q é uma contradição
I e II são Falsas
Todas são falsas
 Apenas I é verdadeira
I e III são verdadeiras
Todas são verdadeiras
 Gabarito Comentado. Gabarito Comentado.
 
 8a Questão (Ref.: 15375) Pontos: 0,5 / 0,5
Negando a proposição composta P: ~p v q, obtemos:
p ^q
~p ^~q
p v ~q
 p ^~q
~p ^q
 Gabarito Comentado.
 
 9a Questão (Ref.: 228808) Pontos: 0,5 / 0,5
Argumento é uma asserção em que um dado conjunto de proposições p1,p2,p3,...pn denominadas premissas produz
(tem como consequência) outra proposição Q denominada conclusão. Tal argumento é indicado por: p1,p2,p3,...pn
==> Q. De acordo com o conceito de argumentos, é correto afirmar que:
Um argumento é falso se Q é verdadeiro sempre que todas as premissas são verdadeiras.
Um argumento válido é denominado sofisma.
 Um argumento é verdadeiro se Q é verdadeiro sempre que todas as premissas são verdadeiras.
Quando p1 v p2 v p3,... v pn � Q é uma tautologia.
Um argumento é verdadeiro se Q é verdadeiro sempre que todas as premissas são falsas.
 
 10a Questão (Ref.: 7917) Pontos: 0,5 / 0,5
A quantificação é uma operação sobre a sentença. Toda operação de quantificação conta com a presença de um
quantificador, uma restrição e um escopo nuclear. Quando dizemos: Todo homem é mortal, observamos que "todo"
é um quantificador, "homem" é a restrição sobre a qual incide o quantificador e "mortal" é o escopo nuclear da
quantificação. A negação também é uma operação sobre as sentenças e se constitui em um estudo importante e
significativo da Semântica Formal. Para estabelecer a negativa da frase: ¿Todas as pessoas ficaram emocionadas
ou não ouviram direito o que o orador falou¿ deve-se afirmar que:
06/07/2017 BDQ Prova
http://simulado.estacio.br/bdq_prova_resultado_preview.asp 4/4
Existem pessoas que não ficaram emocionadas ou que ouviram o que o orador falou.
Todas as pessoas ficaram emocionadas e não ouviram o que o orador falou.
Todas as pessoas não ficaram emocionadas e não ouviram o que o orador falou.
 Existem pessoas que não ficaram emocionadas e que ouviram o que o orador falou.
Existem pessoas que ficaram emocionadas e que não ouviram o que o orador falou.
 Gabarito Comentado.
 
 
 
Educational Performace Solution EPS ® - Alunos

Outros materiais