Rječnik pojmova - matematička logika

Printer-friendly version


Ovdje se nalaze pojmovi koji se koriste u poglavlju matematička logika.

Browse the glossary using this index

Special | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | ALL

Page:  1  2  3  (Next)
  ALL

B

Bazična disjunkcija

Neka je F(x,y,z,...) funkcija algebre sudova. Svaka disjunkcija $$d_{i}(x,\neg x,y,\neg y,...)$$ sudova ili njihovih negacija koja ima svojstvo F(.)=0 kada je di(.)=0 zove se bazična disjunkcija zadane funkcije F.

Bazična konjunkcija

Neka je F(x,y,z,...) funkcija algebre sudova. Svaka konjunkcija $$k_{i}(x,\neg x,y,\neg y,...)$$ sudova ili njihovih negacija koja ima svojstvo F(...)=1 kada je ki(...)=1 zove se bazična konjunkcija zadane funkcije F.

D

Direktni dokaz

Tvrdnju dokazujemo direktnim dokazom tako da uspostavimo konačan niz implikacija oblika "$$A \Rightarrow A_{1}\Rightarrow  A_{2} \Rightarrow \ldots \Rightarrow A_{k} \Rightarrow B$$".

Disjunkcija sudova

Disjunkcija  sudova a i b je sud "a i b" koji je lažan jedino ako su  sudovi a i b lažni.

Disjunktivna normalna forma

Disjunktivna normalna forma neke funkcije algebre sudova je disjunkcija svih njezinih bazičnih konjunkcija.

Dokaz po kontrapoziciji

Tvrdnju "A implicira B" dokazujemo dokazom po kontrapoziciji tako da dokažemo kontrapozitivnu tvrdnju "ne B implicira  ne A" .

E

Egzistencijalni kvantifikator

Sud "postoji x P(x)" je istinit onda i samo onda ako je P(x) zadovoljiv u univerzumu razmatranja.

Ekvivalencija

Za sudove a i  b kažemo da su logički ekvivalentni i čitamo "a je ekvivalentno b" ako istovremeno vrijede implikacije "a implicira b" i "b implicira a".

F

Formula algebre sudova

Formula algebre sudova je svaki niz znakova varijabli algebre sudova, konstanti algebre sudova (0,1) i operacija algebre sudova pri čijem formiranju su ispunjena sljedeća pravila
  1. znakovi za varijable algebre sudova su formule,
  2. ako su x i y formule tada su formule i ne x, ne y, x i y, x ili y, x implicira y, y implicira x, x je ekvivalentno y,
  3. svaka formula može se dobiti konačnim brojem primjena prethodnih pravila.

Funkcija algebre sudova

Funkcija algebre sudova je pridruživanje koje svakom članu domene (konstantama algebre sudova (0i1) i sudovima) pridruži vrijednost  0 ili 1.

Page:  1  2  3  (Next)
  ALL