No se encontró "propositional calculus". Parece que esa forma no existe