AnswerEX2-b1

father of someone (Paul,Lisa) = true,

because

I(Paul) = <Paul>,

I(lisa) = <Lisa>

and

<Paul,Lisa> is a set of I(father of someone).

Comment Sailer:
1) The pair is not the set of I. Rather the pair is in the set I(father-of-someone)
2) don't use words with spaces in predicate names. Do father-of-someone instead of father of someone

Navigation

• Link to the current exercise