Mikä on seuraus matematiikassa?

Corollate on termi, jota joskus käytetään matemaattisten todisteiden yhteydessä, erityisesti algebrallisen geometrian alalla. Se ei ole yleisesti käytetty sana, eikä se välttämättä ole monille tuttu.

Yleensä seuraus on väite, joka seuraa loogisesti edellisestä lausumasta, usein todisteen tai olettamusten seurauksena. Toisin sanoen, seuraus on toissijainen tulos, joka on johdettu ensisijaisesta tuloksesta tai lauseesta.

Esimerkiksi jos meillä on lause, joka sanoo "Jos A, niin B", voimme ehkä päätellä seurauksen, joka sanoo "Jos B sitten C". Tämä tarkoittaa, että lause "C" seuraa loogisesti lausetta "B", joka puolestaan seuraa loogisesti lausetta "A".

Käytännössä seurauksia käytetään usein antamaan lisänäkemystä tai havainnollistamaan tietyn tuloksen seurauksia. Niistä voi olla hyötyä myös loogisten argumenttien ketjun rakentamisessa, jossa jokainen vaihe seuraa luonnollisesti edellisestä.