Logika - 2022./23. jesen - 2.

Zadan je sljedeći ključ prevođenja:

S x

za '

x

je sudac'

M x

za '

x

je mudar'

P x

za '

x

je pravedan'

U x

za '

x

je umjeren'.

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: 'Neki suci nisu pravedni.' jest:

\exists x(S x \wedge \neg P x)

2.2. Pravilan prijevod rečenice: ‘Svi su mudri i umjereni suci pravedni.’ jest:

\forall x((S x \wedge M x \wedge U x) \rightarrow P x)

2.3. Pravilan prijevod rečenice: 'Svi su mudri pravedni, no nisu svi pravedni mudri.' jest:

\forall x(M x \rightarrow P x) \wedge \neg \forall x(P x \rightarrow M x)

Š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