Discrete Mathematics and Its Applications, Seventh Edition

Published by McGraw-Hill Education
ISBN 10: 0073383090
ISBN 13: 978-0-07338-309-5

Chapter 1 - Section 1.4 - Predicates and Quantifiers - Exercises - Page 56: 58

Answer

$grandfather(X,Y)$ :- $ father(X,Z),father(Z,Y);father(X,Z),mother(Z,Y)$

Work Step by Step

Here comma means AND and semicolon means OR. For $X$ to be grandfather of $Y$, either $Y$ must be the father of father of $X$ or father of mother of $X$.
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.