Logika - 2023./24. ljeto - 1.

Zadan je sljedeći ključ prevođenja:

$h$ za Hulk
$m$ za Spiderman
a za Captain America
$j$ za Joker
$K x$ za ' $x$ krši zakon'
$S x y$ za ' $x$ se suprostavlja $y$-u'
Pxy za ' $x$ je prijatelj $y$-u'
Hxy za 'x pomaže $y$-u u nevolji'
$S x$ za ' $x$ je superheroj'.

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.
1.1. Pravilan prijevod rečenice: 'Ako su Hulk i Spiderman superheroji, onda je i Captain America, ali Joker nije.' jest: $(S h \wedge S m) \rightarrow(S a \wedge \neg S j)$.
1.2. Pravilan prijevod rečenice: 'Samo ako Joker krši zakon, ili će se mu suprotstaviti Hulk ili Spiderman.' jest: $K j \rightarrow(S h j \vee S h s)$.
1.3. Pravilan prijevod rečenice: 'Hulk i Captain America su prijatelji i pomažu onima koji se nalaze u nevolji ako i samo ako su superheroji.' jest: $P h a \wedge((H h x \wedge H a x) \rightarrow(S a \wedge S h))$.
ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

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

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