Zadan je sljedeći ključ prevođenja:
$P$ za postolar
$v$ za vrag
$Pxy$ za ‘x sklapa pogodbu s y-om’
$Mxy$ za ‘x je nadmudrio y-a’.
Predmetno područje (domena) obuhvaća likove iz povjestice Postolar i vrag Augusta Šenoe.
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: 'Postolar i vrag jedan s drugim sklapaju pogodbu.' jest:
\[P p v \vee P v p .\]
1.2. Pravilan prijevod rečenice: 'Ako je postolar sklopio pogodbu s vragom i ujedno ga nadmudrio, vrag je sklopio pogodbu s postolarom, no nije ga i nadmudrio.' jest:
\[(P p v \wedge M p v) \rightarrow(P v p \wedge \neg M v p) .\]
1.3. Pravilan prijevod rečenice: 'Vrag nije nadmudrio postolara samo ako je postolar nadmudrio vraga.' jest: $\neg M v p \rightarrow M p v$.