Mit den Regeln der formalen Logik lässt sich bestimmen, wann der Übergang von Prämissen zu Konklusionen gerechtfertigt ist.