Lógica Matemática5

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

Disc.: LÓGICA MATEMÁTICA 2019.2 (G) / EX 
 
 
Prezado (a) Aluno(a), 
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não 
valerá ponto para sua avaliação. O mesmo será composto de questões de múltipla escolha. 
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. 
Aproveite para se familiarizar com este modelo de questões que será usado na sua AV e AVS. 
 
 
 
 
 
 
1. 
 
 
São equivalências da condicional P→QP→Q: 
I. Todo P é Q. 
II. Quando P, então Q. 
III. P é condição suficiente para Q. 
IV. Q é condição necessária para P. 
V. A recíproca Q→PQ→P 
 
 
I e II. 
 
I, III e V. 
 
 
I, II, III e IV. 
 
Nenhuma delas. 
 
Apenas V. 
 
 
 
Explicação: 
Aplicação envolvendo equivalências lógicas. 
 
 
 
 
 
 
 
2. 
 
 
 
 
 
b) Implicação Lógica 
 
d) Equivalência Lógica 
 
e) Contradição 
 
 
c) Tautologia 
 
a) Contingência 
 
 
 
Explicação: 
Aplicação envolvendo construção de tabela verdade. 
 
 
 
 
 
 
 
3. 
 
 
Ou Flamengo é campeão, ou Botafogo não gosta do Flamengo. Por outro lado, se 
o Fluminense não é vice-campeão, então o Flamengo é vice-campeão. Daí segue-
se que, se o Botafogo gosta do Flamengo, então: 
 
 
se Fluminense é vice-campeão, então Flamengo é vice-campeão. 
 
Flamengo é vice-campeão e Fluminense é vice-campeão; 
 
Flamengo é campeão e Fluminense é vice-campeão; 
 
Flamengo é vice-campeão e Fluminense é campeão; 
 
 
Flamengo é campeão e Fluminense é campeão; 
 
 
 
Explicação: 
Nesta equivalencia Flamengo e Fluminense é campeão 
 
 
 
 
 
 
 
4. 
 
 
Considere a frase: "Não é o caso que Madona virá ao Brasil e se casará com 
Jesus." Uma frase equivalente à frase dada é: 
 
 
 
Madona não virá ao Brasil ou não se casará com Jesus. 
 
Madona não virá ao Brasil e não se casará com Jesus. 
 
Madona não virá ao Brasil ou se casará com Jesus. 
 
Madona virá ao Brasil e não se casará com Jesus. 
 
Madona não virá ao Brasil e se casará com Jesus. 
 
 
 
 
 
 
 
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 
 
I e III são verdadeiras 
 
Todas são falsas 
 
Todas são verdadeiras 
 
 
Apenas I é verdadeira 
 
 
Gabarito 
Coment. 
 
Gabarito 
Coment. 
 
 
 
 
 
 
6. 
 
 
É correto afirmar que a expressão ~p ^ ~q é equivalente a: 
 
 
p 
 
~q 
 
 
~( p v q) 
 
q 
 
~p 
 
 
Gabarito 
Coment. 
 
 
 
 
 
 
7. 
 
 
Do ponto de vista lógico, se for verdadeira a proposição condicional - Se o Brasil 
for a sede da copa, então será campeão, necessariamente será verdadeira a 
proposição: 
 
 
 
Se não for campeão, então o Brasil não será a sede da copa. 
 
Se for campeão, então o Brasil será a sede da copa. 
 
Se Brasil não for a sede da copa, então não será campeão. 
 
Só será campeão se o Brasil for a sede da copa. 
 
Só serei a sede da copa se e somente se for campeão. 
 
 
Gabarito 
Coment. 
 
 
 
 
 
 
8. 
 
 
A proposição (~p∧~q)∨(p∧q) é equivalente a qual proposição: 
 
 
 
p↔q 
 
~p→~q 
 
p→q 
 
p^q 
 
pvq