Seuraus (matematiikka)

Matematiikan seuraus on väite, joka voidaan helposti todistaa edellisestä väitteestä.

Yleiskatsaus

Matematiikassa seuraus on lause , jolla on vähän todisteita ja joka seuraa toisesta lauseesta [1] . Termin seurauskäyttö " lauseen " tai "lauseen " sijaan on subjektiivista.

Lause B on lauseen A seuraus, jos B voidaan helposti päätellä A:sta. Seuraus on yleensä toissijainen päälauseeseen nähden; jos seurauksella on suuri rooli, sitä tuskin kutsutaan seuraukseksi.

Katso myös

Muistiinpanot

  1. Wolfram, Stephen. Uudenlainen tiede . - Champaign, IL: Wolfram Media, 2002. - xiv, 1197 sivua s. - ISBN 1579550088 , 9781579550080, 071399116X, 9780713991161.


Linkit