[Carlos Ivorra]

Bien, ya sólo me queda entonces esto si quiero definir una tal "clase universo negativo" de igual potencia que V :   \( V'\equiv{\left\{{x\,|\,\neg x}\right\}} \)

Pero eso no tiene sentido. \( x \) es un conjunto, no una afirmación susceptible de ser negada. Escribir \( \lnot x \) es como escribir \( \lnot 3 \) o \( \lnot \mathbb R \). No tiene sentido.

[Proyecto_dos]

Vale, ya veo, para eso está el "complementario". Bueno, era mi último cartucho. Sdos