AV Lógica Matemática 2015.2

Prévia do material em texto

Estácio
file:///C|/Users/Magno/Desktop/Estácio.html[26/06/2015 21:50:51]
 Fechar
Avaliação: CEL0270_AV_201506543715 » LÓGICA MATEMÁTICA
Tipo de Avaliação: AV
Aluno: 201506543715 - MAGNO CESAR DIAS
Professor: JORGE LUIZ GONZAGA Turma: 9005/AC
Nota da Prova: 4,0 Nota de Partic.: 2 Data: 15/06/2015 19:05:32
 1a Questão (Ref.: 201506666194) Pontos: 0,0 / 1,5
Verifique através da tabela verdade se as expressões 
(p → q )→(p → r )→p→q→r são equivalentes
Resposta:
Gabarito:
p q r
p→q p→r (p → q )→(p → r ) q→r p→q→r
v v v v v v v v
v v f v f f f f
v f v f v f f f
v f f f f f f f
f v v v v v v v
f v f v v v f v
f f v v v v f v
f f f v v v f v
 
As expressões são equivalentes.
 2a Questão (Ref.: 201507173180) Pontos: 0,5 / 1,5
Mostrar que é válido o seguinte argumento:
p se e somente se q, Se q então p
Resposta: p q p->q q->p p->q ^q->p V V V V V V F F V V F V V F F F F V V V
 
Estácio
file:///C|/Users/Magno/Desktop/Estácio.html[26/06/2015 21:50:51]
Gabarito:
 Fundamentação do(a) Professor(a): http://simulado.estacio.br/up_load/figuras/89858417772_2014822172914.jpg
 3a Questão (Ref.: 201506842409) Pontos: 0,5 / 0,5
Quantas pessoas, no mínimo, deve haver em uma sala para termos a certeza de
 que pelo menos duas fazem aniversário no mesmo mês?
10
11
 13
12
14
 4a Questão (Ref.: 201506666518) Pontos: 0,0 / 0,5
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 de q é { V,F,V,F}, tem os valores:
(V,V,F,V)
(F,F,F,F)
(F,F,V,V)
 (V,F,V,F)
 (V,V,V,V)
 5a Questão (Ref.: 201506826152) Pontos: 0,5 / 0,5
De acordo com as proposições ~p V (p → q) e ~p Λ (~p → q), é correto afirmar que trata-se respectivamente de:
Contingência e tautologia
Contradição e tautologia
Tautologia e tautologia
Tautologia e contradição
Estácio
file:///C|/Users/Magno/Desktop/Estácio.html[26/06/2015 21:50:51]
 Contingência e contingência
 6a Questão (Ref.: 201506665339) Pontos: 0,5 / 0,5
Uma das regras de Implicação lógica chamada de " Modus Tollens"
 especifica que (p → q )→~q→~p . Considerando que se pode aplicar esta
 regra a proposição " José irá ao cinema se conseguir comprar
 ingresso." podemos dizer que:
José irá ao cinema.
Não há implicação.
José conseguiu comprar ingresso.
José irá ao cinema ou comprará ingresso.
 José não conseguiu comprar ingresso.
 7a Questão (Ref.: 201506613482) Pontos: 0,5 / 0,5
Observe a frase: "Se houver obras na estrada então haverá um enorme engarrafamento." Podemos dizer que esta
 frase é equivalente a:
Se houve um enorme engarrafamento, então não há obras na estrada.
Se não houver obras na estrada então não haverá um enorme engarrafamento.
Houve um enorme engarrafamento e não há obras na estrada.
Se não houver obras na estrada então haverá um enorme engarrafamento.
 Se não houve um enorme engarrafamento, então não há obras na estrada.
 8a Questão (Ref.: 201506607723) Pontos: 0,5 / 0,5
As Leis de De Morgan aplicadas respectivamente às sentenças ~(~pvq) e ~(p^~q) nos fornecem:
( ~p v q) e ( p ^~q)
 (p ^ ~q) e (~pv q)
(p v q) e ( p ^q)
(p v ~q) e ( ~p v ~q)
Não é possível aplicar as Leis de Morgan
 9a Questão (Ref.: 201506613215) Pontos: 0,0 / 1,0
Em Lógica matemática a ordem de precedência dos parêntesis indica qual conectivo é "mais fraco" até o
 considerado "mais forte". Assim sendo qual é a ordem de precedência do "mais fraco até o "mais forte":
1. conectivo equivalência (↔);
2. conectivos e ou implicação(→);
3. conectivo e ou (^ e V);
4. conectivo não (~).
1. conectivo não (~);
2. conectivos e ou (^ e v);
3. conectivo equivalência (↔);
4. conectivo implicação (→).
 1. conectivo não (~); 
2. conectivos e ou (^ e v);
3. conectivo implicação (→); 
Estácio
file:///C|/Users/Magno/Desktop/Estácio.html[26/06/2015 21:50:51]
4. conectivo equivalência (↔).
1. conectivo e ou (^ e ou);
2. conectivos não (~);
3. conectivo implicação (→); 
4. conectivo equivalência (↔).
 1. conectivo e (^);
2. conectivo ou (v);
3. conectivo implicação (→);
4. conectivo negação (~).
 10a Questão (Ref.: 201506847708) Pontos: 1,0 / 1,0
Determine o conjunto-solução da seguinte sentença aberta: x é divisível por 5. Para U = {1, 3, 4, 7, 9, 11}:
S = {1}
S = {1,3}
 S = { }
S = {1,0}
S = {0,1}
Observação: Eu, MAGNO CESAR DIAS, estou ciente de que ainda existe(m) 1 questão(ões) não respondida(s) ou salva(s) no
 sistema, e que mesmo assim desejo finalizar DEFINITIVAMENTE a avaliação.
Data: 15/06/2015 20:03:09
Período de não visualização da prova: desde 12/06/2015 até 25/06/2015.
 
 
	Disco local
	Estácio