Pero conocer la no-unión del predicado con el sujeto sólo es posible como consecuencia lógica derivada de una verdad previamente conocida.