Considere p e q fórmulas atômicas de uma linguagem L e v uma função de valoração na qual v (p) ≠ v (q).
Para tal, é necessário e suficiente que
Provas
Questão presente nas seguintes provas
Analista de Sistemas - Processos de Negócios
70 Questões
