Question

Considere a seguinte fórmula bem-formulada:
[ (∀x) (P (x) → (Q (x) ∨ R(x) ) ] ∧ (R (y)' ∧ P (y) ) → Q (y)
Analisando a demonstração abaixo, assinale a alternativa que corresponde à justificativa correta do item 4 (imagem):

Answer 1

Resposta:
Particularização universal
Explicação: