Definition:Structure for Predicate Logic/Formal Semantics

Definition
Let $\mathcal L_1$ be the language of predicate logic.



Also see

 * Definition:Structure for Predicate Logic
 * Definition:Assignment for Structure
 * Definition:Model (Predicate Logic)


 * Definition:Formal Semantics