Hay una pregunta que ha salido a veces en el examen de Filosofía de la Lógica sobre el que tengo dudas: ¿qué valor de verdad tienen las afirmaciones de tipo QixFx cuando no hay un único x que es F? (i en la fórmula es la iota) Yo pienso que no es posible que no haya un único x que es F porque el descriptor i se aplica a variables individuales ("el único objeto tal que...")

No logro salir de ahí. Si alguien puede iluminarme sobre esta cuestión, se lo agradecería muy mucho

Cuando no hay un único x que es F son falsas, porque las afirmaciones de ese tipo dicen que hay un único x que es F y que ese x es también Q.