(a) Under which conditions is the Herbrand expansion of a closed formula A in Skolem-Normal form finite? (b) Under which
Posted: Tue Jul 12, 2022 12:07 pm
(a) Under which conditions is the Herbrand expansion of a closedformula A in Skolem-Normal form finite?
(b) Under which conditions is the Herbrand expansion of aclosed formula A in Skolem normal form is isomorphic to the naturalnumbers N ?
(c) Specify for S = {c/0, f/1, g/2} + {P/1, Q/2}, give theelements of the Herbrand expansion for A = ∀x.(P(x) ∧ ¬P(f(x))), which contain at most 6 symbolswithout brackets.
This question is about logic. Please please help me with that.This is very important for me!!!
(b) Under which conditions is the Herbrand expansion of aclosed formula A in Skolem normal form is isomorphic to the naturalnumbers N ?
(c) Specify for S = {c/0, f/1, g/2} + {P/1, Q/2}, give theelements of the Herbrand expansion for A = ∀x.(P(x) ∧ ¬P(f(x))), which contain at most 6 symbolswithout brackets.
This question is about logic. Please please help me with that.This is very important for me!!!