Logika · državna matura

Jezik logike sudova: veznici i prijevod

Jezik logike sudova: veznici i 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.

~53 min gradiva težina 3/5

Ključne formule

  • ¬A\neg A je istinit akko je AA neistinit

  • A∧BA \land B je istinit akko su AA i BB istiniti

  • A∨BA \lor B je neistinit samo akko su AA i BB neistiniti

  • A→BA \to B je neistinit samo akko je AA istinit, a BB neistinit

  • A↔BA \leftrightarrow B je istinit akko AA i BB imaju jednaku vrijednost

  • alternacija: (A∨B)∧¬(A∧B)(A \lor B) \land \neg(A \land B) ili ¬(A↔B)\neg(A \leftrightarrow B)

  • v(p)∈{ i, n }v(p) \in \{\,i,\ n\,\}

  • p∨¬pp \lor \neg p (načelo isključenja trećega)

  • ¬(p∧¬p)\neg(p \land \neg p) (načelo neproturječja)

Primjer zadatka iz mature

Pravi ispitni zadatak · 2023. 1. rok

Pozorno pročitajte zaključak. 'Svijetom će zavladati pravednost i mir ili će svijet utonuti u studen i tamu. Naime, ako će Perun munjama nadvladati Velesa, svijetom će zavladati pravednost i mir, a ako Veles lukavošću nadmudri Peruna, svijet će utonuti u studen i tamu. Međutim, Perun će munjama nadvladati Velesa ako i samo ako Veles lukavošću ne nadmudri Peruna.'

Iskažite cijeli zaključak kao jedan iskaz u jeziku iskazne logike, upotrebljavajući slova prema ključu, zagrade te simbole ¬,∧,∨,→,↔\neg, \land, \lor, \to, \leftrightarrow. Ključ: PP = 'Perun će munjama nadvladati Velesa.' VV = 'Veles će lukavošću nadmudriti Peruna.' MM = 'Svijetom će zavladati pravednost i mir.' SS = 'Svijet će utonuti u studen i tamu.'

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