Logika - 2012./13. jesen - 2.

Zadan je sljedeći ključ prevođenja.
$m$ za 'Martu'
$s$ za 'Slavku'
$U x y$ za ' $x$ uči s $y$-om'
$B x y$ za ' $x$ brže shvaća od $y-a$ '
Predmetno područje (domena) obuhvaća Slavku i Martu.
Jesu li zadane rečenice ispravno prevedene na jezik logike prvoga reda?
Označite točan odgovor u svakoj čestici zadatka.
2.1. Pravilan prijevod rečenice 'Marta uči sa Slavkom koja shvaća brže od nje.' jest: $U m s \wedge B m s$
2.2. Pravilan prijevod rečenice 'Ako Marta brže shvaća od Slavke, ne vrijedi obrnuto.' jest: Bms $\rightarrow \neg$ Bsm
2.3. Pravilan prijevod rečenice 'Bilo da Marta uči sa Slavkom, bilo da Slavka uči s Martom, nijedna od njih ne shvaća brže od druge.' jest: $(U m s \vee U s m) \wedge(\neg B m s \wedge \neg B s m)$
ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

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

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