As fórmulas bem formadas (FBF), na Lógica de Primeira Ordem, seguem regras sintáticas específicas. Assinale a alternativa que apresenta a única fórmula bem formada (FBF) na Lógica de Primeira Ordem.