You are not logged in.
Pages: 1
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).
Basis:
if parent(A,B) true, A is Bs ancestor
Induction:
??
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.
Offline
Pages: 1