

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Seja P(x) o predicado “x é um suspeito” e Q(x) o predicado “x tem antecedentes criminais”.
A representação lógica da afirmação “Existe um suspeito que não tem antecedentes criminais” é:
∀x (P(x) → Q(x))
∃x (P(x) ^ ~Q(x))
∃x (P(x) ^ Q(x))
~∃x (P(x) ^ Q(x))
∀x (Q(x) → P(x))