Logika - 2019./20. jesen - 3.

Zadan je sljedeći ključ prevođenja:

$m$ za Manet
$d$ za Degas
$s$ za Male dvorske dame (slika Diega Velázqueza)
$S x$ za ' $x$ je slika'
$C x y z$ za $x$ više cijeni $y$-a nego $z$-a
$Vxy$ za $x$ voli promatrati $y$-a.

Predmetno područje (domena) obuhvaća sve slikare i sve slike.

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.
3.1. Pravilan prijevod rečenice 'Degas voli promatrati neke slike.' jest: $\exists x(S x \wedge V d x)$.
3.2. Pravilan prijevod rečenice 'Nijedna slika nikoga ne voli promatrati.' jest: $\forall x \forall y(\neg V x y \rightarrow S x)$.
3.3. Pravilan prijevod rečenice 'I Manet i Degas cijene sliku Male dvorske dame više od ičega.' jest: $\forall x(C m s x \wedge C d s x)$.
ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

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

*Besplatan pristup ne zahtijeva unos kartice.
© 2025, Gradivo.hr