En cálculo proposicional es común tomar como axiomas lógicos todas las fórmulas siguientes: