The following outlines a standard propositional calculus.
O que segue define un cálculo proposicional padrón.