Diskreetse matemaatika elemendid
poolte tõeväärtused, et valem oleks tõene, seejärel püüame leida
väiksemate komponentide tõeväärtused, siis omakorda veel
väiksemate omad jne, liikudes valemi struktuuris järk-järgult üha
sügavamale. Kui sellise analüüsi käigus satume alati vastuolule, siis
valem ühelgi väärtustusel tõene ei ole ning on järelikult samaselt väär.
Kui aga jõuame ilma vastuolu kohtamata välja lausemuutujateni, siis
saame kätte väärtustuse, millel valem on tõene.
o Tõestuspuu. Puu tipuks on uuritav valem koos kontrollitava
tõeväärtusega. Kui oleme kindlaks teinud valemi mingi osa
tõeväärtuse, siis kirjutame tulemuse valemi alla, selle alla omakorda
valemi osa analüüsimisel saadud tulemuse jne. Kui osutub, et mingil
sammul on valemi osadel mitu sobivat varianti tõeväärtusi, siis
annaabi.ee 
