Suponha-se que U seja o conjunto de todas as pessoas, que M(x) seja a propriedade “x é mulher” e que D(x) seja a propriedade “x é desempregada”. Nesse caso, a proposição “Nenhuma mulher é desempregada” fica corretamente simbolizada por ¬!$ \exists !$x(M(x)!$ \wedge !$D(x)).