Using the Universal law of logical, what is the conclusion of the following premise: ∀x: p(x) ∨ ¬(q(x)→ r(x))? a) p(x) ∨ ¬(q(x)→ r(x)) b) p(b) ∨ ...

Using the Universal law of logical, what is the conclusion of the following premise: ∀x: p(x) ∨ ¬(q(x)→ r(x))?

a) p(x) ∨ ¬(q(x)→ r(x))
b) p(b) ∨ ¬(q(b)→ r(b))
c) ∀x: p(b) ∨ ¬(q(b)→ r(b))
d) ∀x: p(x) ∨ ¬(q(x)→ r(x))

Análise de Sistemas

•

Colégio Objetivo

Estudando com Questões

14/06/2023

Essa pergunta também está no material:

1 apunte-logica (1)

13 pág.

1 apunte-logica (1)

Análise de Sistemas • Universidad Nacional de QuilmesUniversidad Nacional de Quilmes

melylanzettii

melylanzettii

Respostas

Ed

12.09.2023

A conclusão da premissa ∀x: p(x) ∨ ¬(q(x)→ r(x)) é a opção d) ∀x: p(x) ∨ ¬(q(x)→ r(x)). Isso ocorre porque a premissa afirma que para todo x, a proposição p(x) é verdadeira ou a implicação q(x)→ r(x) é falsa. Portanto, a conclusão mantém a mesma estrutura da premissa original.

0

0

Responda

Para escrever sua resposta aqui, entre ou crie uma conta