Homework answers / question archive / 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

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

Share With

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).