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' Uxy za ' x je ušao u y ' Mxy za ' x je susreo y-a' Sx za ' x je sretan' Kxy 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: Kan→¬Sb.
1.2. Pravilan prijevod rečenice: 'Nije istina da je Bijela Vještica začarala i Lucy i Edmunda.' jest: ¬(Zbl∧Zbe).
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: (Ulo∧Uso∧Upo∧Ueo)→((Uln∧Usn∧Upn∧Uen)∧(Mlb∧Msb∧Mpb∧Meb)).
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.