$m$ za Marin j za Jana $p$ za Paula $n$ za Neven Ixy za ' $x$ prati $y$ na Instagramu' Fxy za ' $x$ je prijatelj s $y$ na Facebooku' $T x y$ za ' $x$ prati $y$ na TikToku'.
Označite DA ako su zadane rečenice pravilno prevedene na jezik logike prvoga reda, a NE ako nisu pravilno prevedene na jezik logike prvoga reda.
2.1. Pravilan prijevod rečenice: 'Jana ima barem jednog pratitelja na TikToku ako Marin prati barem nekoga na TikToku.' jest: $\exists x T x j \rightarrow \exists y T m y$. (1 bod)
2.2. Pravilan prijevod rečenice: 'Paula i Neven su prijatelji na Facebooku ili Paula nema nijednoga prijatelja na Facebooku.' jest: $F p n \vee \neg \exists x F x p$. (1 bod)
2.3. Pravilan prijevod rečenice: 'Svatko ima barem jednoga pratitelja na Instagramu.' jest: $\exists x \forall y I x y$. (1 bod)
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.