En el siguiente ejemplo es de un cálculo proposicional, las reglas presentadas de transformación tienen que ser interpretadas como reglas de inferencia de un sistema de deducción natural.