Semantics of predicate logics@Youtube FOL truth assignments @Youtube Semantics of FOL blog Semantics of fol lecture pdf FOL syntax and semantics