Logika - 2023./24. jesen - 1.

Zadan je sljedeći ključ prevođenja:

Ixy za 'x prati $y$ na Instagramu'
$F x y$ za ' $x$ je prijatelj s $y$ na Facebooku'
$T x y$ za ' $x$ prati $y$ na TikToku'
$m$ za Marin
$j$ za Jana
$p$ za Paula
$n$ za Neven.
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.
1.1. Pravilan prijevod rečenice: 'Nije tako da su Paula i Jana prijateljice na Facebooku, ali prate jedna drugu na Tiktoku.' jest: $\neg F p j \wedge T p j$.
1.2. Pravilan prijevod rečenice: 'Neven i Marin su prijatelji na Facebooku samo ako Neven prati Marina na TikToku ili Instagramu.' jest: Fnm $\rightarrow$ (Imn $\vee$ Inm).
1.3. Pravilan prijevod rečenice: 'Marin prati Janu na Instagramu, ali ona njega ne prati na Instagramu iako su prijatelji na Facebooku.' jest: $\operatorname{Imj} \wedge(\neg \operatorname{Ijm} \wedge F m j)$.
ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

Registracijom dobivaš besplatan*
pristup dijelu lekcija za svaki predmet.

*Besplatan pristup ne zahtijeva unos kartice.
© 2025, Gradivo.hr