Tele Aula 3 Logica de programação

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

Pergunta 1
0 em 0 pontos
Correta	
Considere o seguinte argumento:
 x ≠ 4 .___
x ≠ 4 ∨ x ≠ 1
Qual regra de inferência foi utilizada para se afirmar que a conclusão é verdadeira?
Resposta Selecionada:	
Corretaa. 
Adição (AD).
Respostas:	
Corretaa. Adição (AD).
b. Modus tollens (MT).
c. Silogismo hipotético (SH).
d. Dilema destrutivo (DD).
e. Simplificação disjuntiva (SIMPD).
Feedback da resposta:	
Resposta: A
Pergunta 2
0 em 0 pontos
Correta	
Indique o argumento inválido:
Resposta Selecionada:	
Corretae. 
p → q, p ⊢ begin mathsize 10px style tilde end styleq.
Respostas:	
a. p ∧ q ⊢ p.
b. p ∧ q ⊢ q.
c. p, q ⊢ p ∧ q.
d. p → q ⊢ p → (p ∧ q).
Corretae. p → q, p ⊢ begin mathsize 10px style tilde end styleq.
Feedback da resposta:	
Resposta: E
Pergunta 3
0 em 0 pontos
Correta	Ou lógica é fácil, ou Artur não gosta de lógica. Por outro lado, se geografia não é difícil, então lógica é difícil. Daí segue-se que, se Artur gosta de lógica, então:
(RESUMOS-CONCURSOS/2008)
Resposta Selecionada:	
Corretab. Lógica é fácil e geografia é difícil.
Respostas:	
a. Se geografia é difícil, então lógica é difícil.
Corretab. Lógica é fácil e geografia é difícil.
c. Lógica é fácil e geografia é fácil.
d. Lógica é difícil e geografia é difícil.
e. Lógica é difícil ou geografia é fácil.
Feedback da resposta:	Resposta: B
Pergunta 4
0 em 0 pontos
Correta	Se um homem é baixo, ele é complexado.
Se um homem é complexado, fica doente.
Logo, os homens baixos ficam doentes.
As proposições são as seguintes:
O homem é: (p) baixo, (q) complexado e (r) doente.
A forma simbólica correta será:
Resposta Selecionada:	
Corretaa. p → q, q → r ⊢ p → r.
Respostas:	
Corretaa. p → q, q → r ⊢ p → r.
b. p → q, q → p ⊢ p → r.
c. p → r, q → p ⊢ p → q.
d. p → q, q → r ⊢ r → p.
e. r → q, q → p ⊢ p → r.
Feedback da resposta:	Resposta: A