La asignación de valores veritativos que le asigna la lógica bivalente al condicional, en la definición tabular estándar, se basa en categorías de índole gnoseológica, incompatibles con el carácter formal y abstracto de las estructuras lógicas. La lógica pretende calificar con categorías gnoseológicas, estructuras formales nognoseológicas. Esta asignación evade el rigor de logicidad que demanda toda estructura formal y por lo tanto, carece de necesidad racional.