Raudvara: defineerimine ja tõestamine
Kui mingi lause tõesust saab põhjendada varem teadaolevate tõdede abil, siis seda lauset
nimetatakse teoreemiks. Teoreemi tõesuse põhjandamist nimetatakse tõestamiseks. Näide:
Aksioomideks nimetatakse tõdesid, millele tugineb teoreem. Teoreemis esitatud väite õigsust
tõestatakse aksioomidest ja varem tõestatud teoreemidest lähtudes. Teoreemi eeldus ütleb
mis on antud või teada. Teoreemi väide ütleb, mida on tarvis tõestada. Teoreemi eelduse ja
väite äravahetamisel tekib esiagse teoreemi pöördlause. Kui teoreemi pöördlause on tõene on
tegu pöördteoreemiga. Pöördteoreemid võib kokku võtta sõnaühendi parajasti siis abil
(sümboliga )näiteks: arv lõppeb 0-iga parajast siis kui ta jagub 10-ga ja vastupidi.
4. vastuväiteline tõestusviis
Kui teoreemide tõestamisel üldiselt alustatakse eeldusest ja jõutakse loogilise
arutelu käigus väite tõesuseni, siis vastuväitelise tõestuse puhul toimub kogu
protsess vastupidi.
Vastuväitelise tõestuse korral:
annaabi.ee 
