Dodatnih 10 EUR POPUSTA na svaki predmet za maturu pri odabiru!

Logika - 2017./18. jesen - 2.

Zadan je sljedeći ključ prevođenja:
cc za Crvenkapica
vv za Vuk
bb za Bakica
SxySxy za ' xx je susreo yy-a'
PxyP x y za ' xx je pojeo yy-a'.
Označite DA ako je zadana rečenica pravilno prevedena na jezik logike prvoga reda, a NE ako nije.
2.1. Pravilan prijevod rečenice 'I Bakica i Crvenkapica susrele su Vuka.' jest:  SbvScvSbv\wedge S c v.
2.2. Pravilan prijevod rečenice ‘Vuk je susreo Bakicu i Crvenkapicu i pojeo ih je.’ jest: (SvcSvb)(PcvPbv)(S v c \wedge S v b) \wedge(P c v \wedge P b v).
2.3. Pravilan prijevod rečenice 'Ni Crvenkapica ni Bakica nisu pojele Vuka ako i samo ako je on pojeo njih.' jest: (¬Pvc¬Pvb)(PcvPbv)(\neg P v c \wedge \neg P v b) \leftrightarrow(P c v \wedge P b v).
© 2026, Gradivo.hr