Erfüllung (mathematischen Logik)

Erfüllung, Begriff der mathematischen Logik: Ein n-Tupel e₁, ..., e_n von Ausdrücken erfüllt eine n-stellige Aussageform A(x₁, ..., x_n), wenn die durch die entsprechende Einsetzung von e₁, ..., e_n für die Variablen x₁,..., x_n entstehende Aussage A(e₁, ..., e_n) wahr ist. Speziell in der Prädikatenlogik werden