Semantic of FOL

We have seen how FOL formulas are written, we now need to be able to evaluate whether a FOL formula is true or false, this is the semantic of FOL.