Logika - 2016./17. jesen - 10.
Pozorno pogledajte sliku.
Crte koje povezuju osobe na slici označavaju relacije „ $x$ je otac od $y$-a" ili „ $x$ je majka od $y$-a" i s njima povezane relacije " $x$ je sin od $y$ - $a$ " ili „ $x$ je kći od $y$ - $a$ " za koje vrijedi sljedeći istinit sud zapisan jezikom logike prvoga reda:
\[\forall x \forall y((\operatorname{MajkaOd}(x, y) \vee \operatorname{OtacOd}(x, y)) \leftrightarrow(\operatorname{SinOd}(y, x) \vee \operatorname{Kc\'iOd}(y, x))) .\]
Zaokružite one i samo one osobe koje su prema dostupnim obavijestima nečije majke ili očevi uzimajući u obzir da je u dijagramu svakomu djetetu crtom pridodan svaki roditelj te da svatko od navedene djece ima točno jednu majku i točno jednoga oca, da otac i majka ne mogu biti ista osoba te da nitko ne može biti roditelj svojim roditeljima.