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

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.