Logika - 2021./22. ljeto - 2.

Zadan je sljedeći ključ prevođenja:
$Pxy$ za ' $x$ sklapa pogodbu s ' $y$-om'
$M x y$ za ' $x$ je nadmudrio $y$-a'.

Predmetno područje (domena) obuhvaća skup svih ljudi.

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: 'Postoji barem jedan čovjek koji je nadmudrio sve ostale.' jest:

\[\exists x \forall y(M x y \wedge \neg x=y)\]

2.2. Pravilan prijevod rečenice: 'Nitko ne sklapa pogodbu s onim koga nadmudruje.' jest:

\[\forall x \forall y(M x y \rightarrow \neg P x y)\]

2.3. Pravilan prijevod rečenice: 'Svatko sklapa pogodbu s nekim.' jest: $\forall x \exists y P y 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