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” é: