Logika - 2011./12. ljeto - 3.

Zadan je sljedeći ključ prevođenja:
Ix za ' xx je iskren'
Nx za 'x je naivan'
Vxy za ' xx vjeruje y−uy-u '
d za Deforu.
Predmetno područje (domena) obuhvaća sve ljude.
Jesu li zadane rečenice ispravno prevedene na jezik logike prvog reda?
Označite točan odgovor u svakoj čestici zadatka.
3.1. Pravilan prijevod rečenice 'Nije tako da je svatko iskren' jest: ∀x¬Ix.\forall x \neg I x .

1 bod

3.2. Pravilan prijevod rečenice 'Defora ne vjeruje nikome tko nije iskren' jest: ∀x(¬Ix→¬Vdx).\forall x(\neg I x \rightarrow \neg V d x) .

1 bod

3.3. Pravilan prijevod rečenice 'Svi naivni vjeruju svakom' jest: ∀x(Nx→∀yVxy).\forall x(N x \rightarrow \forall y V x y) .

1 bod