(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!!!
(a) Under which conditions is the Herbrand expansion of a closed formula A in Skolem-Normal form finite? (b) Under which
-
answerhappygod
- Site Admin
- Posts: 899604
- Joined: Mon Aug 02, 2021 8:13 am
(a) Under which conditions is the Herbrand expansion of a closed formula A in Skolem-Normal form finite? (b) Under which
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!