Questionario 3 Logica de programação

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

Pergunta 1
0,25 em 0,25 pontos
Correta	 A condicional associada ao argumento p → q, r → s, ~q ∨ ~s ⊢ ~ p ∨ ~r (DD) é:
Resposta Selecionada:	
Corretae. (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
Corretae. (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.
Pergunta 2
0,25 em 0,25 pontos
Correta	
 A condicional associada ao argumento: p → q, r → s, p ∨ r ⊢ q ∨ s (DC) é:
Resposta Selecionada:	
Corretae. 
(p → q) ∧ (r → s) ∧ (p ∨ r) → (q ∨ s)
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
Corretae. (p → q) ∧ (r → s) ∧ (p ∨ r) → (q ∨ s)
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
Pergunta 3
0,25 em 0,25 pontos
Correta	
Das regras de inferência, podemos dizer que:
I- São sempre verdadeiras.
II- São sempre válidas.
III- Facilitam o processo de demonstração de validade de argumentos complexos.
Resposta Selecionada:	
Corretad. 
Apenas as alternativas I e III são verdadeiras.
Respostas:	
a. Todas as afirmativas são verdadeiras.
b. Apenas a alternativa I é verdadeira.
c. Apenas as alternativas II e III são verdadeiras.
Corretad. Apenas as alternativas I e III são verdadeiras.
e. Todas as alternativas são falsas.
Feedback da resposta:	
Resposta: D
Comentário: Regras de inferência são argumentos cuja validade já é sabida e servem para facilitar o processo de demonstração de validade de argumentos mais complexos. Logo, a alternativa “d” é a correta.
Pergunta 4
0,25 em 0,25 pontos
Correta	
 Indique a regra de inferência conhecida como Modus Ponens (MP):
Resposta Selecionada:	
Corretab. 
p → q, p ⊢ q.
Respostas:	
a. p → q ⊢ p → (p ∧ q).
Corretab. p → q, p ⊢ q.
c. p → q, p ⊢ begin mathsize 10px style tilde end stylep.
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 5
0,25 em 0,25 pontos
Correta	
Indique a regra de inferência conhecida como Silogismo Hipotético (SH):
Resposta Selecionada:	
Corretad. 
p → q, q → r ⊢ p → r.
Respostas:	
a. p → q ⊢ p → (p ∧ q).
b. p → q, p ⊢ q.
c. p → q, p ⊢ begin mathsize 10px style tilde end stylep.
Corretad. p → q, q → r ⊢ p → r.
e. p → q, r → s, p ∨ r ⊢ q ∨ s.
Feedback da resposta:	
Resposta: D
Comentário: A alternativa “d” é correta, conforme a definição da regra de inferência.
Pergunta 6
0,25 em 0,25 pontos
Correta	
 O argumento p ⊢ p ∨ q é conhecido como regra da adição (AD). Para demonstrá-lo, basta provar a tautologia da proposição:
Resposta Selecionada:	
Corretac. 
p → p V q
Respostas:	
a. p ∨ q → p
b. p → p ∧ q
Corretac. p → p V q
d. p ∧ q → p
e. p ∧ q → p V q
Feedback da resposta:	
Resposta: C
Comentário: A alternativa correta é a “c”; o que garante isso é o critério de validade de um argumento, que obriga que a condicional associada ao argumento seja tautológica.
Pergunta 7
0,25 em 0,25 pontos
Correta	A definição simbólica de argumento é:
Resposta Selecionada:	
Corretaa. Toda afirmação formada por um conjunto finito de premissas que tem uma conclusão como consequência.
Respostas:	
Corretaa. Toda afirmação formada por um conjunto finito de premissas que tem uma conclusão como consequência.
b. Toda afirmação da forma “se P então Q”.
c. Toda afirmação da forma “P se e somente Q”.
d. Uma afirmação verdadeira qualquer.
e. Uma afirmação válida qualquer.
Feedback da resposta:	Resposta: A
Comentário: Alternativa “a” - conforme a definição de argumento: sejam P1, P2,..., Pn (n ≥ 1) e Q proposições quaisquer, um argumento é toda afirmação em que uma dada sequência finita P1, P2,..., Pn (n ≥ 1) de proposições tem, como consequência, uma proposição Q.
Pergunta 8
0,25 em 0,25 pontos
Correta	Do argumento, podemos dizer que é:
I- Verdadeiro.
II- Válido.
III- Falso.
IV- Inválido.
Resposta Selecionada:	
Corretac. A II e a IV são verdadeiras.
Respostas:	
a. Todas as afirmativas são falsas.
b. A I e a III são verdadeiras.
Corretac. A II e a IV são verdadeiras.
d. A I e a II são verdadeiras.
e. Todas as afirmativas são verdadeiras.
Feedback da resposta:	Resposta: C
Comentário: Diz-se das proposições que elas são verdadeiras ou falsas. Os argumentos são válidos ou inválidos. Logo, as afirmações II e IV são verdadeiras, e a resposta correta é a alternativa “c”.
Pergunta 9
0,25 em 0,25 pontos
Correta	
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:	
Corretab. 
A II e a III estão corretas.
Respostas:	
a. A I e a II estão corretas.
Corretab. 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 10
0,25 em 0,25 pontos
Correta	Um sofisma é:
Resposta Selecionada:	
Corretad. Um raciocínio enganoso.
Respostas:	
a. Um raciocínio correto.
b. Um raciocínio válido.
c. Um argumento válido.
Corretad. Um raciocínio enganoso.
e. Uma mentira fragorosa.
Feedback da resposta:	Resposta: D
Comentário: A alternativa “d” é correta, conforme a definição dos dicionários.