Logika - 2020./21. jesen - 2.

Zadan je sljedeći ključ prevođenja:
$k$ za Ksantipa
$s$ za Sokrat
$L x y$ za ' $x$ ljubi $y$-a'
Pxy za ' $x$ poštuje $y$-a'
$O x y$ za ' $x$ opominje $y$-a'.
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.

2.1. Pravilan prijevod rečenice 'lako Ksantipa poštuje Sokrata, opominje ga.' jest: Pks $rightarrow$ Oks .

2.2. Pravilan prijevod rečenice 'Samo ako Sokrat ljubi Ksantipu, ona ljubi njega.' jest: Lsk $rightarrow$ Lks .

2.3. Pravilan prijevod rečenice 'I Ksantipa i Sokrat ljube i poštuju sebe.' jest: $L s s \wedge L k k \wedge P s s \wedge P k k$.

ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

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

*Besplatan pristup ne zahtijeva unos kartice.

ZA MATURANTEOnline pripreme OD 1. DO 4. RAZREDAOnline instrukcije

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

Naša ponuda

Online skripte

Pravne stranice