Studis
Započni besplatno

Logika · državna matura

Jezik logike prvoga reda: prijevod

Jezik logike prvoga reda: prijevod za državnu maturu iz predmeta Logika: pregled gradiva, ključne formule i primjer ispitnog zadatka s objašnjenjem rješenja. Vježbaj cijelu temu uz AI tutora na Studisu.

~50 min gradiva težina 4/5

Ključne formule

  • Svi S su P: ∀x(Sx→Px)\forall x (Sx \to Px)

  • Neki S su P: ∃x(Sx∧Px)\exists x (Sx \land Px)

  • Nijedan S nije P: ∀x(Sx→¬Px)\forall x (Sx \to \neg Px)

  • ∀x Px≡Pa∧Pb\forall x\, Px \equiv Pa \land Pb (domena {a,b}\{a, b\})

  • ∃x Px≡Pa∨Pb\exists x\, Px \equiv Pa \lor Pb (domena {a,b}\{a, b\})

  • ¬∀x Px≡∃x ¬Px\neg \forall x\, Px \equiv \exists x\, \neg Px

Primjer zadatka iz mature

Pravi ispitni zadatak · 2023. 1. rok

Zadan je sljedeći ključ prevođenja: hh za Helena, mm za Menelaj, pp za Paris PxyPxy za 'x je dragovoljno pobjegao s y-om' OxyOxy za 'x je oteo y-a' UxUx za 'x je bio uvrijeđen' RxRx za 'x je poveo rat protiv Troje'. Predmetno područje (domena) obuhvaća ljude navedene u ključu prevođenja.

Označite DA ako je rečenica pravilno prevedena na jezik logike prvoga reda, a NE ako nije pravilno prevedena.

Pravilan prijevod rečenice: 'Helena je dragovoljno pobjegla s Parisom.' jest: PphPph.

Cijela zbirka zadataka, rješenja i AI tutor dostupni su uz registraciju.

Nauči i uvježbaj cijelu temu

Cijela lekcija, svi zadaci iz svih rokova s rješenjima i AI tutor koji ti objašnjava svaki korak — uz osobni plan učenja prilagođen tvom znanju.

Započni besplatno