Math Is Fun Forum

  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2010-02-07 14:51:40

joey_m
Member
Registered: 2010-02-07
Posts: 2

Finding the inductive definition? Help!

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 B’s 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

Board footer

Powered by FluxBB