Legt man für alle in einer Formel auftretenden Variablen Wahrheitswerte fest, so ''induziert'' eine solche Belegung auch einen Wahrheitswert für die Formel.<ref>{{Internetquelle | url=http://www.inf.fu-berlin.de/lehre/WS12/mafi1/NewSkript12.pdf | autor=Klaus Kriegel | titel=Logik und Diskrete Mathematik | hrsg=FU Berlin | datum=2012 | zugriff=2019-03-09 }}</ref>
{{K|Logik}} aus [[Prämisse]]n nach den Regeln der Logik vom Einzelfall aufs Allgemeine, Gesetzmäßige schließen