Lógica Questionário 3 iii ADS respostas 2021

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)
	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
	
	
	
	 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)
	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
	
	
	
	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.
	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
	
	
	
	 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 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
	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
	
	
	
	A definição simbólica de argumento é:
	
	
	
	
		Resposta Selecionada:
	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.
	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
	
	
	
	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.
	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
	
	
	
	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 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.
	Feedback da resposta:
	Resposta: D
Comentário: A alternativa “d” é correta, conforme a definição dos dicionários.