Mit den Formeln können Sie munter hantieren und beliebig zusammensetzen. Ob das zu einem sinnvollen Ergebnis führt, ist nicht immer gewährleistet. Bestimmte Umformungen (Fachjargon: Transformationsregeln, von lat. transformare „umwandeln”) haben den allgemein bekannten Namen: Schlussregeln. Eine Schlussfolgerung zu ziehen bedeutet, aus bestehenden Formeln neue Formeln (Prädikate) zu erzeugen, die ein nachvollziehbares, einsichtiges Ergebnis haben, dem man vom Alltagserleben her sofort zustimmen kann.