$k$ za Kalijina gozba $G x$ za ' $x$ je gozba' $P x y$ za ' $x$ je pristojniji od $y$-a' $R x y$ za ' $x$ je raskošniji od $y$-a' $C x y$ za ' $x$ je čuveniji od $y$-a'.
Predmetno područje (domena) obuhvaća sve predmete.
Označite DA ako su zadane rečenice pravilno prevedene na jezik logike prvoga reda, a NE ako nisu.
3.1. Pravilan prijevod rečenice 'Postoji barem jedna gozba raskošnija od Kalijine gozbe.' jest: $\exists x(G x \wedge R x k)$.
3.2. Pravilan prijevod rečenice 'Nije sve pristojnije od onoga od čega je čuvenije.' jest: $\neg \forall x \forall y(P x y \rightarrow C x y)$.
3.3. Pravilan prijevod rečenice 'Nije svaka gozba pristojnija od onih gozba koje su od nje raskošnije.' jest: $\forall x \forall y((G x \wedge G y \wedge R x y) \rightarrow \neg P y x)$.
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.