El sistema comprende tanto una notación gráfica original de proposiciones lógicas como también un sistema de cálculo lógico, es decir, un sistema formal de reglas de inferencia en el cual a partir de enunciados originales y reglas de transformación se generan nuevos enunciados derivados de los primeros.