Exercise 1: Skolemization: we consider three satisfiable formulas: Skolemization: we consider three satisfiable formulas: a) Give a Skolemisite formula ?1, ?2 and ?3 for each formula (ψ1, ψ2 and ψ3) such that holds

Math Apr 20, 2021

Exercise 1: Skolemization: we consider three satisfiable formulas: Skolemization: we consider three satisfiable formulas: a) Give a Skolemisite formula ?1, ?2 and ?3 for each formula (ψ1, ψ2 and ψ3) such that holds. (Or in short, you should convert these three formulas into Skolem normal form) b) Give a model for each of the first two formulas ?1 and ?2 c) - Expand the operating models from part b) to a model of the corresponding Skolemized formula (ψ1, ψ2).