LÓGICA - Questionario 3

Prévia do material em texto

● Pergunta 1 
● 0,25 em 0,25 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) 
 
 
Feedbac
k da 
resp
osta: 
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 
● 
 
 A condicional associada ao argumento: p → q, r → s, p ∨ r ⊢ q ∨ s 
(DC) é: 
 
Resposta Selecionada: e. 
(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 
 e. 
(p → q) ∧ (r → s) ∧ (p ∨ r) → (q ∨ s)
 
Feedbac
k da 
resp
osta: 
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 
● 
 
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: 
d. 
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. 
 d. 
 
Apenas as alternativas I e III são 
verdadeiras. 
 e. 
Todas as alternativas são falsas. 
 
Feedbac
k da 
resp
osta: 
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 
● 
 
 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. 
 
Feedbac
k da 
resp
osta: 
Resposta: B Comentário: a definição da regra de 
inferência Modus Ponens estabelece que 
quando se tem uma condicional e sua 
hipótese como premissas é válido concluir a 
tese (p→q,p⊢q). Logo, a alternativa B é 
correta. 
 
 
● 
● Pergunta 5 
● 0,25 em 0,25 pontos 
● 
 
Indique a regra de inferência conhecida como ​Silogismo Hipotético 
(SH): 
 
Resposta Selecionada: d. 
p → q, q → r ⊢ p → r. 
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: D 
Comentário: A alternativa “d” é correta, 
conforme a definição da regra de 
inferência. 
 
● 
● Pergunta 6 
● 0,25 em 0,25 pontos 
● 
 
 O argumento p ⊢ p ∨ q é conhecido como ​regra da adição​ (AD). Para 
demonstrá-lo, basta provar a tautologia da proposição: 
 
Resposta Selecionada: c. 
p → p V q 
Respostas: a. 
p ∨ q → p 
 b. 
p → p ∧ q 
 c. 
p → p V q 
 d. 
p ∧ q → p 
 e. 
p ∧ q → p V q 
 
Feedbac
k da 
resp
osta: 
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 
● 
 
A definição simbólica de ​argumento​ é: 
 
Resposta 
Selecio
nada: 
a. ​Toda afirmação formada por um 
conjunto finito de premissas que tem uma 
conclusão como consequência. 
Respostas: a. ​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. 
 
 
Feedbac
k da 
resp
osta: 
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 
● 
 
Do ​argumento​, podemos dizer que é: 
I- Verdadeiro. 
II- Válido. 
III- Falso. 
IV- Inválido. 
 
 
Resposta 
Selecionada: 
c. ​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. 
 c. ​A II e a IV são verdadeiras. 
 d. ​A I e a II são verdadeiras. 
 e. ​Todas as afirmativas são verdadeiras. 
 
Feedbac
k da 
resp
osta: 
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 
● 
 
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. 
 
Feedbac
k da 
resp
osta: 
Resposta: B 
Comentário: P​1​, P​2​,..., P​n​ ​⊢​ 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, P​1​, 
P​2​,..., P​n​ ​⊢​ Q é valido se e somente se a 
condicional associada P​1​∧​P​2​∧​...​∧​ P​n​ ​→​ Q
for tautológica. Logo, a afirmação III é 
verdadeira. A alternativa “b” é a correta. 
 
● 
● Pergunta 10 
● 0,25 em 0,25 pontos 
● 
 
Um ​sofisma​ é: 
 
 
Resposta Selecionada: d. 
Um raciocínio enganoso. 
Respostas: a. 
Um raciocínio correto. 
 b. 
Um raciocínio válido. 
 c. 
Um argumento válido. 
 d. 
Um raciocínio enganoso. 
 e. 
Uma mentira fragorosa. 
 
Feedbac
k da 
resp
osta: 
Resposta: D Comentário: sofisma é um raciocínio 
capcioso, feito com a intenção de enganar ou 
argumento ou raciocínio falso com alguma 
aparência de verdade. 
 
 
● 
●