Logika - 2023./24. jesen - 2.

Zadan je sljedeći ključ prevođenja:

mm za Marin
jj za Jana
pp za Paula
nn za Neven
IxyIxy za ' xx prati yy na Instagramu'
FxyFxy za ' xx je prijatelj s yy na Facebooku'
TxyT x y za ' xx prati yy 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: ∃xTxj→∃yTmy\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: Fpn∨¬∃xFxpF 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: ∃x∀yIxy\exists x \forall y I x y.

1 bod