$a$ za Aslan $b$ za Bijela Vještica $n$ za Narnija $l$ za Lucy e za Edmund $s$ za Susan $p$ za Peter $o$ za ormar Zxy za 'x je začarao $y$-a' $U x y$ za ' $x$ je ušao u $y$ ' $M x y$ za ' $x$ je susreo $y$-a' $S x$ za ' $x$ je sretan' $K x y$ za ' $x$ je kralj $y$-a'.
Predmetno područje (domena) obuhvaća skup svih likova i predmeta iz djela Narnijske kronike (Lav, vještica i ormar).
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 je Aslan kralj Narnije, Bijela Vještica nije sretna.' jest: $K a n \rightarrow \neg S b$.
1.2. Pravilan prijevod rečenice: 'Nije istina da je Bijela Vještica začarala i Lucy i Edmunda.' jest: $\neg(Z b l \wedge Z b e)$.
1.3. Pravilan prijevod rečenice: 'Ako i samo ako su Lucy, Susan, Peter i Edmund ušli u ormar, onda su ušli i u Narniju te su susreli Bijelu Vješticu.' jest: $(U l o \wedge U s o \wedge U p o \wedge U e o) \rightarrow((U l n \wedge U s n \wedge U p n \wedge U e n) \wedge(M l b \wedge M s b \wedge M p b \wedge M e b))$.
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.