Logika - 2014./15. jesen - 2.

Zadan je sljedeći ključ prevođenja:

$p$ za 'Platon'
a za 'Aristotel'
$U x y$ za ' $x$ uvažava $y-a$ '
Kxy za ' $x$ kritizira $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.
2.1. Pravilan prijevod rečenice 'Ako Aristotel uvažava Platona, onda Platon uvažava Aristotela.' jest: $U a p \leftrightarrow U p a$
2.2. Pravilan prijevod rečenice 'Platon uvažava sebe samo ako ne uvažava Aristotela.' jest: $U p p \rightarrow \neg U p a$
2.3. Pravilan prijevod rečenice 'lako Aristotel i Platon kritiziraju jedan drugoga, Aristotel uvažava Platona, a Platon Aristotela.' jest: $(K a p \wedge K p a) \wedge(U a p \wedge U p a)$
ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

Registracijom dobivaš besplatan*
pristup dijelu lekcija za svaki predmet.

*Besplatan pristup ne zahtijeva unos kartice.
© 2025, Gradivo.hr