Simulado Banco Nacional de Desenvolvimento Econômico e Social - BNDES | Técnico Administrativo | 2019 pre-edital | Questão 156

Matemática / Matemática / Raciocínio lógico

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

Fonte: ANALISTA DE SISTEMAS JúNIOR - PROCESSOS DE NEGóCIOS / PETROBRAS / 2012 / CESGRANRIO