Considere o universo de discurso como sendo o conjunto de todos os algoritmos de Inteligência Artificial. Seja P(x) o predicado “x é capaz de aprender” e Q(x) o predicado “x é capaz de tomar decisões autônomas”.

A representação simbólica da proposição “Existe algum algoritmo de Inteligência Artificial que é capaz de aprender, mas não é capaz de tomar decisões autônomas” é equivalente