Um die Mutter zu retten, haben wir eine Frühgeburt induziert.
Legt man für alle in einer Formel auftretenden Variablen Wahrheitswerte fest, so induziert eine solche Belegung auch einen Wahrheitswert für die Formel.