Substitution (Logik)

Der Ausdruck $\phi [\frac{t}{x}]$ steht für die Substitution. Dabei handelt es sich um diejenige Formel, welche man erhält, wenn jedes freie Vorkommen der Variablen $x$ innerhalb von $\phi$ durch den konkreten Term $t$ ausgetauscht wird.

Links

• Terme und Prädikate
• FoG-2526-FS_v5.pdf