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

  • ABA \land B je istinit akko su AA i BB istiniti

  • ABA \lor B je neistinit samo akko su AA i BB neistiniti

  • ABA \to B je neistinit samo akko je AA istinit, a BB neistinit

  • ABA \leftrightarrow B je istinit akko AA i BB imaju jednaku vrijednost

  • alternacija: (AB)¬(AB)(A \lor B) \land \neg(A \land B) ili ¬(AB)\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