Create an Account

Already have account?

Forgot Your Password ?

Home / Questions / The following story is from N Wirth&39s 1976Algorithllls data structures programs marrie...

The following story is from N Wirth&39s 1976Algorithllls data structures programs married a widow let&39s call her V who has a grown up daughter call her D My father F who

The following story is from N. Wirth's (1976)Algorithllls + data structures = programs.
] married a widow (let's call her V) who has a grown-up daughter (call her D). My father
(F), who visited us quite often. fell in love with my step-daughter and married her. Hence
my father became my son-in-law and my' step-daughter became my mother. Some months
later. my wife gave birth to a son (81 ) , who became the brother-in-law ofmy father, as wel!
as my uncle. The wife ofmy father. that is, my step-daughter. also had a son (82) ,
Using predicate calculus, create a set of expressions that represent the situation in the above
story. Add expressions defining basic family relationships such as the definition of father-in-
law and use modus pcncns on this system to prove the conclusion that "1 am my own
grandfather."

 

May 15 2020 View more View Less

Answer (Solved)

question Subscribe To Get Solution

Related Questions