Rječnik pojmova - matematička logika

Inačica za ispis


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

Pregled rječnika korištenjem ovog indeksa

Posebno | A | B | C | Č | Ć | D | Dž | Đ | E | F | G | H | I | J | K | L | Lj | M | N | Nj | O | P | Q | R | S | Š | T | U | V | W | X | Y | Z | Ž | SVE

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.