Partiendo de un P(x) elemental que no tiene el predicado de verdadero, se considera un dominio D, no vacío y significativo, en el que se establecen las condiciones de “verdadero”, “falso” o “indefinido”.