Rječnik pojmova - matematička logika
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
D |
|---|
Direktni dokazTvrdnju  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 sudovaDisjunkcija sudova a i b je sud "a i b" koji je lažan jedino ako su sudovi a i b lažni. | |
Disjunktivna normalna formaDisjunktivna normalna forma neke funkcije algebre sudova je disjunkcija svih njezinih bazičnih konjunkcija. | |
Dokaz po kontrapozicijiTvrdnju "A implicira B" dokazujemo dokazom po kontrapoziciji tako da dokažemo kontrapozitivnu tvrdnju "ne B implicira ne A" . | |