A continuación se presentan dos sistemas formales estándar para la lógica proposicional.