AnswerEX2-b1: Difference between revisions

Revision as of 19:34, 24 January 2013

father of someone (Paul,Lisa) = true,

because

I(Paul) = {Paul},

I(Lisa) = {Lisa}

and

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

Revision as of 19:18, 24 January 2013 (view source) Lisa (talk \| contribs) No edit summary ← Older edit		Revision as of 19:34, 24 January 2013 (view source) Lisa (talk \| contribs) (→‎Navigation) Newer edit →
Line 13:		Line 13:
	====Navigation====		====Navigation====

	*[[~~Exercise_on_Predicate_Logic~~\|Link to the current exercise]]		*[[Formulae_and_their_interpretation\|Link to the current exercise]]