Lógica Proposicional

Prévia do material em texto

Curso LÓGICA 
Teste EXAME 
• Pergunta 1 
1 em 1 pontos 
 
A proposição (p ↔ q) ↔ (~p v q) ∧ (q → p) é uma: 
I- Contingência. 
II- Contradição. 
III- Tautologia. 
Assinale a alternativa correta: 
 
Resposta Selecionada: e. 
Apenas a afirmativa III é verdadeira. 
Respostas: a. 
Todas as afirmativas são falsas. 
 b. 
Todas as afirmativas são verdadeiras. 
 c. 
Apenas a afirmativa I é verdadeira. 
 d. 
Apenas a afirmativa II é verdadeira. 
 e. 
Apenas a afirmativa III é verdadeira. 
Feedback da 
resposta: 
Resposta: E 
Comentário: A proposição contém apenas valores verdadeiros na tabela-
verdade; portanto, é tautológica. A alternativa “e” é a correta. 
 
 
• Pergunta 2 
1 em 1 pontos 
 
 Indique a regra de inferência conhecida como Modus Ponens (MP): 
Resposta Selecionada: b. 
p → q, p ⊢ q. 
Respostas: a. 
p → q ⊢ p → (p ∧ q). 
 b. 
p → q, p ⊢ q. 
 
c. 
p → q, p ⊢ p. 
 d. 
p → q, q → r ⊢ p → r. 
 e. 
p → q, r → s, p ∨ r ⊢ q ∨ s. 
Feedback da 
resposta: 
Resposta: B 
Comentário: A alternativa “b” é correta, conforme a definição da 
regra de inferência. 
 
 
• Pergunta 3 
1 em 1 pontos 
Um argumento é válido: 
I- Se a bicondicional formada pela conjunção das premissas na hipótese e a conclusão na 
 
 
tese for tautológica. 
II- Se a condicional formada pela conjunção das premissas na hipótese e a conclusão na 
tese for tautológica. 
III- Se a conclusão for verdadeira em todas as vezes que as premissas forem verdadeiras. 
Resposta Selecionada: b. 
A II e a III estão corretas. 
Respostas: a. 
A I e a II estão corretas. 
 b. 
A II e a III estão corretas. 
 c. 
Apenas III está correta. 
 d. 
Apenas I está correta. 
 e. 
A I e III estão corretas. 
Feedback 
da 
resposta: 
Resposta: B 
Comentário: P1, P2,..., Pn ⊢ Q é valido se a conclusão for verdadeira em todas 
as vezes que as premissas forem verdadeiras. Logo, a afirmação II é 
verdadeira. Por outro lado, P1, P2,..., Pn ⊢ Q é valido se e somente se a 
condicional associada P1∧P2∧...∧ Pn → Q for tautológica. Logo, a afirmação III 
é verdadeira. A alternativa “b” é a correta. 
 
 
• Pergunta 4 
1 em 1 pontos 
 
Considere as proposições simples p: João é carioca. q: Pedro é paulista. Como se escreve 
em linguagem corrente a proposição composta: 
 
Resposta Selecionada: a. 
Não é verdade que João é carioca e Pedro não é paulista. 
Respostas: a. 
Não é verdade que João é carioca e Pedro não é paulista. 
 b. 
João é carioca e Pedro não é paulista. 
 c. 
Não é verdade que João é carioca e Pedro é paulista. 
 d. 
João é carioca ou Pedro não é paulista. 
 e. 
Não é verdade que João não é carioca e Pedro não é paulista. 
Feedback da resposta: 
 
 
 
• Pergunta 5 
1 em 1 pontos 
 
A propriedade transitiva da implicação garante que: 
Resposta Selecionada: b. 
P ⇒ Q; Q ⇒ R, então P ⇒ R 
Respostas: a. 
P ⇒ P 
 b. 
P ⇒ Q; Q ⇒ R, então P ⇒ R 
 c. 
P ⇒ (Q v R), então (P ⇒ Q) v (P ⇒ R) 
 d. 
P ⇒ Q, então Q ⇒ P 
 e. 
P ⇒ (Q ∧ R), então (P ⇒ Q) ∧ (P ⇒ R) 
Feedback da 
resposta: 
Resposta: B 
Comentário: A alternativa correta é a “b”. A propriedade 
transitiva garante que a implicação transite entre 
implicações sucessivas P, Q, R etc. 
 
• Pergunta 6 
1 em 1 pontos 
 
Das proposições “todo bem triunfa” e “nenhum bem triunfa”, podemos dizer que: 
I- São equivalentes. 
II- São contraditórias. 
III- São contrárias. 
IV- São subcontrárias 
Assinale a alternativa correta: 
 
Resposta Selecionada: d. 
Apenas a III está correta. 
Respostas: a. 
Todas estão corretas. 
 b. 
Apenas a I está correta. 
 c. 
Apenas a II está correta. 
 d. 
Apenas a III está correta. 
 e. 
Apenas a IV está correta. 
Feedback da 
resposta: 
Resposta: D 
Comentário: Uma não é negação da outra. As afirmações são 
contrárias. A alternativa “d” está correta. 
 
 
• Pergunta 7 
0 em 1 pontos 
 
Da proposição p → p v q, podemos afirmar que: 
I- É tautológica. 
II- É contraditória. 
III- É uma contingência. 
 
IV- Não é uma contradição. 
Estão corretas as afirmações: 
Resposta Selecionada: c. 
III e IV. 
Respostas: a. 
I e II. 
 b. 
II e III. 
 c. 
III e IV. 
 d. 
I e IV. 
 e. 
II e IV. 
 
 
• Pergunta 8 
1 em 1 pontos 
 
Avalie as afirmações abaixo: 
I- p ∧ q → r é tautológica. 
II- p ∧ q → r é contraditória. 
III- p ∧ q → r é contingência. 
IV- Sempre que p é falso p ∧ q → r é verdadeira. 
V- p ∧ q → r só é falso quando r é falso. 
Construa a tabela-verdade da proposição composta p ∧ q → r e responda: 
 
Resposta Selecionada: c. 
Apenas I e II são falsas. 
Respostas: a. 
Apenas IV e V são verdadeiras. 
 b. 
Apenas I é falsa. 
 c. 
Apenas I e II são falsas. 
 d. 
Apenas I, II e III são falsas. 
 e. 
Todas são falsas. 
Feedback 
da 
resposta: 
Resposta: C 
Comentário: segue a tabela-verdade da proposição composta proposta. 
Como existem valores lógicos verdadeiros e falsos no resultado final, segue 
que a proposição é uma contingência, não podendo assim ser nem 
tautológica, nem contraditória. Logo, I e II são falsas. As demais são 
verdadeiras e a conclusão é imediata a partir da observação da tabela-
verdade. A alternativa correta é a (c). 
 
 
 
 
• Pergunta 9 
1 em 1 pontos 
 
 Quantas linhas existem na tabela-verdade de uma proposição composta formada por 8 
proposições simples? 
Resposta Selecionada: c. 
256 
Respostas: a. 
1024 
 b. 
512 
 c. 
256 
 d. 
128 
 e. 
64 
Feedback da resposta: Resposta: C 
Comentário: pelas razões expostas em (1), 28 = 256. 
 
 
• Pergunta 10 
1 em 1 pontos 
 
 A condicional associada ao argumento p → q, r → s, ~q ∨ ~s ⊢ ~ p ∨ ~r (DD) é: 
Resposta Selecionada: e. 
(p → q) ∧ (r → s) ∧ (~q ∨ ~s) → (~p ∨ ~r) 
Respostas: a. 
(p → q) ∨ (r → s) ∨ (p ∨ r) → q ∨ s 
 b. 
(p → q) ∨ (r → s) ∨ (p ∨ r) ↔ q ∨ s 
 c. 
(p → q) ∨ (r → s) ∧ (p ∨ r) → q ∨ s 
 d. 
(p → q) ∧ (r → s) ∨ (p ∨ r) ↔ q ∨ s 
 e. 
(p → q) ∧ (r → s) ∧ (~q ∨ ~s) → (~p ∨ ~r) 
Feedback da 
resposta: 
Resposta: E 
Comentário: A condicional associada a um argumento tem, 
na sua hipótese, a conjunção das premissas (∧) e, na sua 
tese, a conclusão. Por isso, a alternativa “e” é a correta.