Logika - 2023./24. jesen - 1.

Zadan je sljedeći ključ prevođenja:

IxyIxy za 'x prati yy na Instagramu'
FxyF x y za ' xx je prijatelj s yy na Facebooku'
TxyT x y za ' xx prati yy na TikToku'
mm za Marin
jj za Jana
pp za Paula
nn 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: ¬FpjTpj\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: FnmFnm \rightarrow (ImnImn \vee InmInm).
1.3. Pravilan prijevod rečenice: 'Marin prati Janu na Instagramu, ali ona njega ne prati na Instagramu iako su prijatelji na Facebooku.' jest: Imj(¬IjmFmj)\operatorname{Imj} \wedge(\neg \operatorname{Ijm} \wedge F m j).
© 2026, Gradivo.hr