Para aclarar un poco a cerca de la función que tienen los símbolos de LETAC, podemos decir que formula_11 captura el significado de la frase "si… entonces…" Sin embargo, la función de formula_11, y la de todos los demás símbolos de LETAC, queda determinada por las reglas de inferencia de nuestro sistema, a saber, el modus ponendo ponens, y la regla del cuantificador universal.