Okay, this is a question on a paper that I'm trying to work out. It's about inductive definition. It's only worth a few marks, but as mathematics is really not a major part of my course, this isn't something I'm any good at and I'm having difficult learning. Please help me in solving this so I can get on with my usual work! Here is the question:
Assume you know what it means for X to be a parent of Y, and use a relation parent(X,Y) to represent it.
Give an inductive definition for A to be an ancestor of B, ancestor(A,B).
if parent(A,B) true, A is Bs ancestor
There's a couple more questions on the same topic. But I'm just posting this one for now to see if any of you can help with this particular topic. Thank you.