Seja P(x) o predicado “x é um suspeito” e Q(x) o predicado...
Imagem de fundo

Seja P(x) o predicado “x é um suspeito” e Q(x) o predicado...

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


A

∀x (P(x) → Q(x))


B

∃x (P(x) ^ ~Q(x))


C

∃x (P(x) ^ Q(x))


D

~∃x (P(x) ^ Q(x))


E

∀x (Q(x) → P(x))