Una interpretación algebraica de la lógica proposicional y de sus implicancias en fórmulas predicativas cerradas con cuantificadores