AV1 » LÓGICA MATEMÁTICA

Prévia do material em texto

Avaliação: CEL0270_AV1_201301218821 » LÓGICA MATEMÁTICA
Tipo de Avaliação: AV1
Aluno: 201301218821 - CARLA HELENA MARTINS VELOZO 
Professor: JORGE LUIZ GONZAGA Turma: 9008/AN
Nota da Prova: 6,0 de 8,0 Nota do Trabalho: Nota de Participação: 2 Data: 20/04/2013 11:10:51
1a Questão (Cód.: 68270) Pontos:1,0 / 1,0
Para a construção de tabelas verdade adotamos a seguinte ordem de prioridade dos operadores:
`^^^`,`vvv`,`->`,`harr` 
`harr`,`^^^`,`->`,`vvv` 
`->`,`harr`,`vvv`,`^^^` 
`vvv`,`^^^`,`->`,`harr` 
`->`,`harr`,`^^^`,`vvv` 
2a Questão (Cód.: 138737) Pontos:1,0 / 1,0
Considere as afirmativas sobre tautologias, contradições e contingências. É somente correto afirmar que
Como uma tautologia é sempre falsa, a negação da tautologia é sempre verdadeira, ou seja, é uma 
contingência e vice versa
Chama-se contradição a toda proposição composta em cuja última coluna da sua tabela verdade aparecem 
os valores V e F cada uma pelo menos uma vez . 
Contingência é toda proposição composta P(p,q,r,s,...) cujo valor lógico é sempre falso, quaisquer que 
sejam os valores lógicos das proposições simples componentes (p,q,r,s,...).
Chama-se tautologia toda proposição composta em cuja última coluna da sua tabela verdade aparecem os 
valores V e F cada uma pelo menos uma vez . 
Chama-se contradição toda proposição composta em cuja última coluna da sua tabela verdade só aparece a 
letra F. 
3a Questão (Cód.: 138723) Pontos:0,0 / 1,0
A Semântica Formal tem por objetivo escrever, traduzir as sentenças da língua em uma forma lógica. Procura-se 
buscar um paralelismo entre os constituintes sintáticos e os componentes da forma lógica: os constituintes da 
sentença se transformam em predicados e argumentos lógicos. A sintaxe e as estruturas lógicas das sentenças tem 
uma importância enorme na construção do significado nas línguas naturais. A maneira pela qual as sentenças são 
estruturadas interfere, modifica e até determina seu sentido. 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: o menino fez o dever de casa e foi à 
festa."
O menino não fez o dever de casa ou não foi a festa.
O menino fez o dever de casa se e somente se não foi a festa. 
O menino não fez o dever de casa e foi a festa.
O menino fez o dever de casa ou não foi a festa. 
O menino não fez o dever de casa e não foi a festa.
Página 1 de 3BDQ Prova
17/05/2013http://bquestoes.estacio.br/prova_resultado_preview_aluno.asp?cod_hist_prova=2782...
4a Questão (Cód.: 7913) Pontos:1,0 / 1,0
Sabe-se que os valores lógicos das proposições p e q são respectivamente V e F. Determine os valores lógicos das 
proposições p→~q e p↔~q, respectivamente:
As proposições não têm valor lógico
V e V
F e V
V e F
F e F
5a Questão (Cód.: 15232) Pontos:0,0 / 1,0
Sabe-se que a ocorrência de X é condição necessária para a ocorrência de Y e 
condição suficiente para a ocorrência de Z. Sabe-se, também, que a ocorrência 
de Z é condição necessária e suficiente para a ocorrência de W. Assim, quando 
Y ocorre,
X não ocorre ou W não ocorre.
Z não ocorre ou W não ocorre.
X e W ocorrem.
nem X nem Y ocorrem.
Z ocorre e X não ocorre.
6a Questão (Cód.: 15397) Pontos:1,0 / 1,0
Considerando como verdadeiras as frase: "Se houver obras na estrada então haverá um enorme engarrafamento." 
e "Se houver um enorme engarrafamento, então chegarem atrasado ao serviço." Podemos concluir que: 
Haverá obras na estrada e chegarei atrasado ao serviço.
Se houver obras na estrada então chegarei atrasado ao serviço.
Houve engarrafamento mas não cheguei atrasado no serviço.
Não cheguei atrasado ao serviço e não houve obras na estrada.
Se não houver obras na estrada não chegarei atrasado ao serviço.
7a Questão (Cód.: 15398) Pontos:1,0 / 1,0
Sejam as sentenças: "p: O Amazonas é um rio do Brasil" e "q: 2² < 2³". Os valores lógicos de p e q são 
respectivamente:
F e V
Nada se pode determinar
V e F
F e F
V e V
Página 2 de 3BDQ Prova
17/05/2013http://bquestoes.estacio.br/prova_resultado_preview_aluno.asp?cod_hist_prova=2782...
8a Questão (Cód.: 16338) Pontos:1,0 / 1,0
Se considerarmos o valor lógico da proposição simples p como sendo verdadeiro e o da proposição q como sendo 
falso, podemos afirmar que:
p ^ q possui valor lógico verdadeiro.
~p e ~q possuem valor lógico verdadeiro.
`p harr q` possui valor lógico verdadeiro
`p -> q` possui valor lógico falso 
p v q possui valor lógico falso.
Período de não visualização da prova: desde 16/04/2013 até 03/05/2013.
Página 3 de 3BDQ Prova
17/05/2013http://bquestoes.estacio.br/prova_resultado_preview_aluno.asp?cod_hist_prova=2782...