matematička izjava, jednostavna tvrdnja koja je ili istinita ili neistinita, a ne može biti neodređena ili djelomično istinita; temeljni pojam matematičke logike. Na primjer, »broj četiri je paran broj« i »2 + 2 = 4« istinite su matematičke izjave a »broj tri je paran broj« i »2 + 2 = 5« nisu istinite. S pomoću logičkih operacija (disjunkcija, implikacija, konjunkcija, negacija) povezivanjem jednostavnih matematičkih izjava grade se složene izjave: aksiomi i teoremi.
Tablicama istinitosti prikazuje se istinitost logičkih izraza za svaku moguću kombinaciju zadanih logičkih vrijednosti ulaznih varijabli.
U tehničkoj primjeni matematička izjava je fizikalno stanje koje može imati samo dvije vrijednosti: 1 ili 0 (npr. teče električna struja ili ne teče električna struja). Ona čini osnovu za projektiranje logičkih sklopova. (→ sud)
