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):
[ (∀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):
More Questions From This User See All
Lista de comentários
Particularização universal
Explicação: