Zadan je sljedeći ključ prevođenja:
$t$ za Trimalhionova gozba
$a$ za Agathonova gozba
$k$ za Kalijina gozba
$b$ za Babettina gozba
$v$ za Vatelova gozba
$R x y$ za ' $x$ je raskošniji od $y$-a'
$D x y$ za ' $x$ je dulje trajao od $y$-a'
$Cxy$ za ' $x$ je čuveniji od $y$-a'.
Označite DA ako su zadane rečenice pravilno prevedene na jezik logike prvoga reda, a NE ako nisu.
2.1. Pravilan prijevod rečenice 'lako je Trimalhionova gozba dulje trajala od Kalijine gozbe, ona nije čuvenija od nje.' jest: Dtk \(\wedge \neg C t k\).
2.2. Pravilan prijevod rečenice 'Ako je Trimalhionova gozba raskošnija, no ne i čuvenija od Agathonove gozbe i ako je Agathonova gozba raskošnija od Babettine gozbe, onda Babettina gozba nije raskošnija od Trimalhionove gozbe.' jest: $((R t a \wedge \neg C t a) \wedge R a b) \rightarrow \neg R b t$.
2.3. Pravilan prijevod rečenice 'Vatelova gozba nije čuvenija ni od Agathonove ni od Trimalhionove gozbe, no raskošnija je barem od jedne od njih.', jest:
\(C t v \wedge C a v \wedge(R v t \vee R v a)\).