Logika - 2010./11. ljeto - 2.

Zadan je sljedeći ključ prevođenja:

$b$ za Marko Junije Brut

c za Gaj Julije Cezar

Pxy za 'x poštuje $y$ '

Ixy za 'x је iznevjerio $y$ '.

Predmetno područje (domena) obuhvaća sve likove Shakespeareove tragedije Julije Cezar.

Jesu li zadane rečenice pravilno prevedene na jezik logike prvoga reda?
Označite točan odgovor u svakoj čestici zadatka.

2.1. Pravilni prijevod rečenice 'Brut i Cezar poštuju jedan drugoga' jest: $P b c \wedge P c b$.

2.2. Pravilni prijevod rečenice 'Brut sebe poštuje ako sebe nije iznevjerio' jest: $\neg I b b \rightarrow P b b$

2.3. Pravilni prijevod rečenice 'lako se Brut i Cezar poštuju, jedan je iznevjerio drugoga' jest: $(P b c \wedge P c b) \wedge(I b c \vee I c b)$

ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

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

*Besplatan pristup ne zahtijeva unos kartice.

Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.

Naša ponuda

Online skripte

Pravne stranice