Logika - 2015./16. jesen - 2.

Zadan je sljedeći ključ prevođenja:

$\begin{array}{l}K x y \text { za ' } x \text { je komponirao } y^{\prime} \\O x \text { za ' } x \text { je opera' } \\B x \text { za ' } x \text { je balet' } \\m \text { za Wolfgang Amadeus Mozart } \\c \text { za Petar Iljič Čajkovski } \\o \text { za Orašar } \\f \text { za Figarov pir. }\end{array}$
Predmetno područje (domena) obuhvaća sve ljude i sve kompozicije.
Jesu li zadane rečenice pravilno prevedene na jezik logike prvoga reda?
Označite točan odgovor u svakoj čestici zadatka.
2.1. Pravilan prijevod rečenice 'Wolfgang Amadeus Mozart komponirao je operu.' jest: Kmo.
2.2. Pravilan prijevod rečenice 'Orašar je komponirao Figarov pir.' jest: Okf.
2.3. Pravilan prijevod rečenice 'Orašar je balet koji nije komponirao Wolfgang Amadeus Mozart.' jest: Во $\wedge \neg \mathrm{Kmo}$
ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

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

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