Semantics of FO Formulas
Semantics of FO Formulas. Semantics. Given a vocabulary R 1 , …, R k A model is D = (D, R 1 D , …, R k D ) D = a set, called domain, or universe R i D D D ... D, (ar(R i ) times) i = 1,...,k. Semantics. Given: A model D = (D, R 1 D , ..., R k D ) A formula
155 views • 7 slides