19. ZADATAK Zadan je sljedeći ključ prevođenja: BxB xBx za ' xxx je besmrtno biće' VxyV x yVxy za ' xxx voli yyy '. Prevedite zadane rečenice i napišite ih na crte. Ako je zadana rečenica iskazana prirodnim jezikom, prevedite je na jezik logike prvoga reda, a ako je iskazana jezikom logike prvoga reda, prevedite je na prirodni jezik.
19.1. Postoji točno jedno besmrtno biće.
19.2. Postoji najmanje jedno, a najviše dva besmrtna bića.
19.3. ∀x∀y(Bx→Vxy)\forall x \forall y(B x \rightarrow V x y)∀x∀y(Bx→Vxy)
19.4. ∃x∀y(Bx→Vxy)\exists x \forall y(B x \rightarrow V x y)∃x∀y(Bx→Vxy)
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.