Gegeben sei eine aussagenlogische Formel G mit der Menge der Variablen VarAL. Geben Sie eine prädikatenlogische Formel P mit Menge der Variablensymbole VarPL, wobei VarPL = VarAL sein soll, und eine Interpretation (D,I) mit D = B an, so dass für jede passende Variablenbelegung β gilt: valβ(G) = valD,I,β(P)