Now that we have learned the basics of syntax of predicate logic, we can have a look at the semantics. This is brought about by a relational structure M, which realizes (or instantiates) the symbols of our language. Moreover M tells us which formulas are valid.