AV1 2013.02

Prévia do material em texto

3/6/2014 BDQ Prova
file:///E:/Pessoal/Acad%EAmico/Est%E1cio%20de%20S%E1/1o%20Semestre/L%F3gica%20Matem%E1tica/Provas/Av1_files/prova_resultado_preview_aluno.htm 1/3
Avaliação: CEL0270_AV1_ » LÓGICA MATEMÁTICA
Tipo de Avaliação: AV1
Aluno:
Professor: JORGE LUIZ GONZAGA Turma: 9002/AB
Nota da Prova: 8,0 de 8,0 Nota do Trabalho: Nota de Participação: 2 Data: 18/06/2013 16:30:58
 1a Questão (Cód.: 10370) Pontos: 1,0 / 1,0
Qual das sentenças abaixo não é uma proposição atômica:
1 é um número inteiro positivo.
O ar condicionado deve estar ligado.
A casa está gelada.
João trabalha consertando carros.
 Eu não estudo informática e sou brasileiro.
 2a Questão (Cód.: 138723) Pontos: 1,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 e 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 não foi a festa.
 O menino não fez o dever de casa ou não foi a festa.
O menino fez o dever de casa ou não foi a festa.
 3a Questão (Cód.: 138720) Pontos: 1,0 / 1,0
Um argumento é válido se e somente se, sendo as premissas verdadeiras, a conclusão também é verdadeira.
Neste caso, podemos dizer que as premissas acarretam a conclusão, ou ainda, que a conclusão se deduz das
premissas. Utilizando a definição de implicação, constante na tabela de equivalencias logicas, considere como
premissa: "Se chove, então a rua está molhada. " Podemos inferir como conclusão:
 Não chove ou a rua está molhada.
3/6/2014 BDQ Prova
file:///E:/Pessoal/Acad%EAmico/Est%E1cio%20de%20S%E1/1o%20Semestre/L%F3gica%20Matem%E1tica/Provas/Av1_files/prova_resultado_preview_aluno.htm 2/3
Chove ou a rua está molhada.
Chove e a rua está molhada.
Não chove ou a rua não está molhada.
Não chove e a rua está molhada.
 4a 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 v q possui valor lógico falso.
 p→q possui valor lógico falso
p↔q possui valor lógico verdadeiro
 5a Questão (Cód.: 15098) Pontos: 1,0 / 1,0
Simbolicamente, a condicional de duas proposições p e q indica-se pela notação: p→q , que também pode ser
escrito das formas:
q é condição suficiente para p. p é condição necessária para q.
p é condição suficiente para q. q não é condição necessária para p.
p não é condição suficiente para q. q é condição necessária para p.
 p é condição suficiente para q. q é condição necessária para p.
q é condição suficiente para p. q é condição necessária para p.
 6a Questão (Cód.: 15080) Pontos: 1,0 / 1,0
Para que (r∧s)→~t seja uma implicação considerada falsa, quais valores lógicos r, s e t devem assumir:
V, F, F
F, V, F
F, V, V
F, F, F
 V, V, V
 7a Questão (Cód.: 68432) Pontos: 1,0 / 1,0
Considere os conectores ∨, →, lidos como "ou" e "implica".
Considerando esta notação a tabela verdade da proposição
(p∧(p→q))→q assumindo que a sequência de valores de p {V,V,F,F} e a
3/6/2014 BDQ Prova
file:///E:/Pessoal/Acad%EAmico/Est%E1cio%20de%20S%E1/1o%20Semestre/L%F3gica%20Matem%E1tica/Provas/Av1_files/prova_resultado_preview_aluno.htm 3/3
de q é { V,F,V,F}, tem os valores:
(F,F,V,V)
 (V,V,V,V)
(F,F,F,F)
(V,F,V,F)
(V,V,F,V)
 8a 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:
 V e V
V e F
Nada se pode determinar
F e F
F e V
Período de não visualização da prova: desde 17/05/2013 até 03/07/2013.