Question

Considere a seguinte fórmula bem-formulada:
left square bracket left parenthesis for all x right parenthesis left parenthesis P left parenthesis x right parenthesis rightwards arrow left parenthesis Q left parenthesis x right parenthesis logical or R left parenthesis x right parenthesis right parenthesis right square bracket logical and left parenthesis R left parenthesis y right parenthesis ` logical and P left parenthesis y right parenthesis right parenthesis rightwards arrow Q left parenthesis y right parenthesis

Analisando a demonstração abaixo, assinale a alternativa que corresponde à justificativa correta do item 4.

left parenthesis for all x right parenthesis left parenthesis P left parenthesis x right parenthesis rightwards arrow left parenthesis Q left parenthesis x right parenthesis logical or R left parenthesis x right parenthesis right parenthesis hipótese
R left parenthesis y right parenthesis ` hipótese
P left parenthesis y right parenthesis hipótese
P left parenthesis y right parenthesis rightwards arrow Q left parenthesis y right parenthesis logical or R left parenthesis y right parenthesis
Q left parenthesis y right parenthesis logical or R left parenthesis y right parenthesis 3,4, modus ponens
Q left parenthesis y right parenthesis 2,5 e tautologia left parenthesis Q logical or R right parenthesis logical and R ` right parenthesis rightwards arrow Q
a.
1,3 modus ponens.

b.
1, particularização universal.

c.
1,2 hipótese.

d.
1,3 modus tollens.

e.
2,3 generalização universal.

Answer 1

Resposta:

e. 2,3 generalização universal.

Explicação passo a passo:

Ava