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

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" .