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

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.