Explorar E-books
Categorias
Explorar Audiolivros
Categorias
Explorar Revistas
Categorias
Explorar Documentos
Categorias
1) Considerando o conceito de proposição da lógica matemática, quais símbolos são utilizados para
representar proposições atômicas?
Resposta: e) a,b,c,d - as proposições atômicas são geralmente representadas por letras minúsculas do
alfabeto.
2) Uma proposição representa um fato e pode assumir dois valores lógicos, que são:
Resposta: c) Verdadeiro e Falso
p q pvq
V V
V F
F V
F F
a)V-F-V-F
b) V-V-V-F – Com o conectivo “ou”, uma proposição composta terá valor lógico verdadeiro
quando, pelo menos, uma das proposições simples que formam a proposição composta tiver
valor lógico verdadeiro.
c)V-F-F-F
d) F-F-F-F
e) V-V-V-V
4) Uma proposição composta que possui valor lógico sempre falso é uma contradição
I - ~p^p
II - ~p v p
III - ~(~pvp)
IV - ~p^r
V - p -> p
Quais dos itens anteriores representam uma contradição?
a) I II
b) I, IV V
c) I, II, III
d) I III – Item I: Contradição; Item III: Contradição
e) IV V
5) “Na Copa do Mundo de 2018, o Brasil será campeão ou não não será campeão”. Considerando os
conceitos de lógica matemática aprendidos nesta unidade de aprendizagem, a afirmação anterior é:
a) Um paradoxo
b) Uma tautologia – Uma proposição composta que possui valor lógico sempre verdadeiro é uma
tautologia. Considerando: p(Brasil será campeão) e ~p(o Brasil não será campeão). Tautologia: p
v ~p.
c) Uma contradição
d) Um silogismo
e) Uma contingência
1) Duas proposições são equivalentes quando possuem as mesmas saídas lógicas na tabela-
verdade para a mesma combinação de valores de entrada. A proposição composta “~(p^q)” é
logicamente equivalente à proposição:
a) ~p
b) p
c) ~p^~q
d) q
e) ~p v ~q – Equivalência lógica (Morgan) ~(p ^q) é equivalente a ~p v ~q.
2) Duas proposições são equivalentes quando possuem as mesmas saídas lógicas na tabela-
verdade para a mesma combinação de valores de entrada. A proposição a <-> b é equivalente a:
a) ~a
b) A -> b
c) B -> a
d) A->b ^b -> a – O conectivo “se somente se” a <-> b é equivalente a dois conectivos “se
então" ligados por um conectivo “e” ( a -> b ^ b -> a)
e) ~a -> ~b ^~b -> ~a
3) A proposição “Se Edvaldo ganha para prefeito, então Rubens ganha para vereador” é
equivalente a:
1) Com as premissas:
P1: p -> q
P2: p
É possível concluir: q
O nome da regra de inferência utilizada é :
a) Modus Ponens – Regra de inferência ( Modus Ponens ). Com as premissas “p ->q” e “p”, é
possível concluir “q”
b) Modus Tollens
c) Silogismo Hipotético
d) Silogismo Disjuntivo
e) Simplificação
2) Com as premissa:
p^q
É possível concluir: p,q
O nome da regra de inferência utilizada é :
4) Com as premissas:
P1: p -> q
P2: ~q
É possível deduzir: ~p
O nome da regra de inferência utilizada é:
a) Modus Ponens
b) Modus Tollens – Regra de inferência ( Modus Tollens). Com as premissas
“p -> q” e “q”, é possível concluir “~p”
c) Silogismo Hipotético
d) Silogismo Disjunção
e) Simplificação
a) Premissa 1: p -> q
Premissa 2: ~q
Conclusão: ~p
Regra de inferência ( Modus Tollens). Com as premissas “p->q” e “q”, é possível concluir
“~p”. p: João gosta de cachoeira, q: João gosta de Jaceruba.
b) Premissa 1: p -> q
Premissa 2: ~q
Conclusão: ~p
c) Premissa 1: p -> q
Premissa 2: q
Conclusão: p
d) Premissa 1: p -> q
Premissa 2: ~q
Conclusão: p
e) Premissa 1: p -> q
Premissa 2: q
Conclusão: ~p