Zadan je sljedeći ključ prevođenja:
$b$ za 'Benjamin Constant'
i za 'Immanuel Kant'
Pxy za ' $x$ podržava $y$-a'.
Predmetno područje (domena) obuhvaća sve ljude.
Jesu li zadane rečenice pravilno prevedene na jezik logike prvoga reda?
Označite točan odgovor u svakoj čestici zadatka.
3.1. Pravilan prijevod rečenice 'Netko podržava Benjamina Constanta, a ne podržava Immanuela Kanta.' jest: $\exists x(P x b \wedge \neg P x i)$
3.2. Pravilan prijevod rečenice 'Netko podržava Immanuela Kanta, a netko Benjamina Constanta.' jest: $\exists x(P x i \wedge P x b)$
3.3. Pravilan prijevod rečenice 'Immanuel Kant ne podržava svakoga tko ne podržava Benjamina Constanta.' jest: $\neg \forall x(\neg P x b \rightarrow P i x)$