Many, many years ago when I was
twenty-three
I was married to a widow who was pretty as could be
This widow had a grownup daughter who had hair of red
My father fell in love with her, and soon they too were wed
This made my Dad my son-in-law and really changed my life
For now my daughter was my mother, 'cause she was my father's wife
And to complicate the matter, even though it brought me joy,
I soon became the father of a bouncing baby boy
My little baby then became a brother-in-law to Dad
And so became my uncle, though it made me very sad
For if he were my uncle, then that also made him brother
Of the widow's grownup daughter, who was of course my stepmother
Father's wife then had a son who kept them on the run
And he became my grandchild, for he was my daughter's son
My wife is now my mother's mother, and it makes me blue
Because although she is my wife, she's my grandmother too
Now if my wife is my grandmother, then I'm her grandchild
And every time I think of it, it nearly drives me wild
'Cause now I have become the strangest case you ever saw
As husband of my grandmother, I am my own grandpa
CHALLENGES:
1. Write Predicate Calculus representing the situation with a series of expressions
2. Use modus ponens to conclude that “I am my own grandfather”.
First, try it out yourself!
Click here to reveal solution!
Predicate Calculus representing the situation with a series
of expressions:
married(i,w).
mother(w,d).
mother(d,s1).
father(f,s1).
father(f,i).
father(i,s2).
mother(w,s2).
use modus ponens on this system to prove the conclusion that
“I am my own grandfather”.
∀ X Y ∃ Z married(X,Z)∧mother(Z,Y)⇒ father(X,Y).
∀ X Y ∃ Z father(Z,X)∧father(Z,Y)⇒ brother(X,Y).
∀ X Y ∃ Z father(X,Z),mother(Z,Y)⇒ grandfather(X,Y).
∀ X Y ∃ Z grandfather(X,Z)∧brother(Z,Y)⇒ grandfather(X,Y).
married(i,w).
mother(w,d).
mother(d,s1).
father(f,s1).
father(f,i).
From 1,5,6:: married(i,w)∧mother(w,d)⇒ father(i,d).
From 3,7,10 :: father(i,d),mother(d,s1)⇒ grandfather(i,s1).
From 2,8,9 :: father(f,s1)∧father(f,i)⇒ brother(s1,i).
From 4,11,12 :: grandfather(i,s1)∧brother(s1,i)⇒ grandfather(i,i).
Hence, I'm my own grandfather.
Now, a video ;)
I'm my own Grandpa. Interesting idea, isn't it?
If you have any alternate solution, please feel free to submit a solution. Ideally, making an E-mail post would be appropriate, but commenting right on this page is also okay. Or, if you're really interested, you could also drop us your E-mail address and become an author(E-mail ID must be associated with a Gmail provider).
This page has been drafted. You will be automatically redirected to the new location containing this resource. If you are not redirected automatically in a few seconds, please click this link here.
BSc. CSIT 5th Semester Notes of All Subjects: This content has moved to a new location. You have landed in a really old thread. We have stopped updating this particular page for a long time now. You should be automatically redirected to the latest location containing the notes very shortly.
Redirect Notice:
You should be automatically redirected to the new link containing your content. If you are not redirected in a few seconds, please click here to visit the link manually.
You have landed on an old page that has stopped UPDATING since 16th March 2016. NEW link is available where all notes and content is organized properly. You will be redirected in a few seconds. If you are not automatically redirected, please click here to visit the new link.
Page Hits
and
Unique Sessions
since
June 22
nd
2014