> [!NOTE] Definition (Language of FOL) > A language of FOL (or predicate logic) is a [[Formal Language|formal language]] in which propositions are expressed in terms of predicates, variables and quantifiers. # Properties It is different from [[L1P (Propositional Logic)|propositional logic]] which lacks predicates. # Examples - [[L1 (FOL)]]. - [[L2 (FOL)]].