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

M

Matematička indukcija

Označimo sa P(m) tvrdnju koju želimo dokazati. Princip matematičke indukcije provodi se u dva koraka.
  1. Baza indukcije. Treba dokazati da tvrdnja vrijedi za m=1, tj. da vrijedi P(1).
  2. Korak indukcije. Pretpostavimo da tvrdnja vrijedi za m=k. Treba dokazati da tvrdnja vrijedi za m=k+1. Odnosno, da P(k) implicira P(k+1).

    Zaključak: tvrdnja vrijedi za svaki prirodni broj m.

Minimizacija

Minimizacija formule algebre sudova je postupak pretvaranja dane formule u ekvivalentnu formulu koja je zapisana samo pomoću osnovnih operacija (konjunkcije, disjunkcije, negacije), a može se provesti na dva načina:
  1. analitički - postupak se temelji na primjeni svojstava operacija algebre sudova,
  2. grafički (Veitchova metoda, Karnoughov graf) - temelji se na korespondenciji skupovskih i logičkih operacija.