Informática, perguntado por rva75782014, 2 meses atrás

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):

Anexos:

Soluções para a tarefa

Respondido por muriloventuroso
6
Resposta:
Particularização universal
Explicação:


antoniocarrilho3: Obrigado
Perguntas interessantes