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 tollens.
b.

2,3 generalização universal.
c.

1, particularização universal.
d.

1,3 modus ponens.
e.

1,2 hipótese.

Answer 1

Resposta:

particularização universal.

Explicação passo a passo:

conferido