Una expresión que deba ser verdadera o falsa pero que no pueda ser ambas, la llamaremos una proposición.
>
==== Dominio de la variable ====
El conjunto que consiste de los elementos que pueden reemplazar a la variable de una proposición abierta, lo llamaremos el Dominio de la variable.
El conjunto formado por aquellos elementos del dominio de la variable que hacen verdadera la proposición abierta p(x), lo llamaremos el conjunto solución de la proposición abierta p(x).
