Question

Sabe-se que um argumento pode ser representado em forma simbólica como P1 ∧ P2 ∧ P3 ∧ ... ∧ Pn → Q, no qual fórmulas bem-formuladas são construídas a partir de predicados e quantificadores, assim como de conectivos lógicos e símbolos de agrupamento. Para um argumento ser válido, Q tem de ser uma consequência lógica de P1, P2, ..., Pn, baseada apenas na estrutura interna do argumento, não na veracidade ou falsidade de Q em qualquer interpretação particular. ASSINALE QUAL A CONCLUSÃO VÁLIDA, considerando as seguintes proposições ou premissas:

p → r , p ∨ q , ~q

(a) r ∨ s
(b) q ∨ ~p
(c) q ∧ r
(d) r ∧ s
(e) s ∨ t

Answer 1

Resposta:

letra A

Explicação passo-a-passo:

Answer 2

Resposta:

letra A

Explicação passo-a-passo: