Logika - 2023./24. jesen - 2.

Zadan je sljedeći ključ prevođenja:

m

za Marin

j

za Jana

p

za Paula

n

za Neven

I x y

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'.

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

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

2.3. Pravilan prijevod rečenice: 'Svatko ima barem jednoga pratitelja na Instagramu.' jest:

\exists x \forall y I x y

ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

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

*Besplatan pristup ne zahtijeva unos kartice.

Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.

Naša ponuda

Online skripte

Pravne stranice