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

K

Konjunkcija sudova

Konjunkcija  sudova a i b je sud "a i b" koji je istinit jedino ako su sudovi a i b istiniti.

Konjunktivna normalna forma

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

Kontradikcija

Formula koja uvijek daje laž, bez obzira na logičku vrijednost sudova koje sadrži, zove se kontradikcija.

Kontrapozitivna tvrdnja

S implikacijom "a implicira b" povezana je implikacija "ne b implicira ne a" koju zovemo obrat suprotnog teorema ili kontrapozitivna tvrdnja.