Por lo tanto, un sistema lógico de base clásica no necesita del operador condicional "→" si "¬" (no) y "∨" (o) operador condicional que ya se utilizan, o se puede utilizar el "→" solo con un azúcar sintáctico para una composición que tiene una negación y una disyunción.