Какво е следствие в математиката?

Королат е термин, който понякога се използва в контекста на математически доказателства, особено в областта на алгебричната геометрия. Това не е често използвана дума и може да не е позната на много хора.

По принцип следствието е твърдение, което следва логически от предишно твърдение, често като следствие от доказателство или набор от предположения. С други думи, следствието е вторичен резултат, който се извлича от първичен резултат или теорема.

Например, ако имаме теорема, която гласи „Ако A, тогава B“, може да сме в състояние да изведем следствие, което казва „Ако B след това C". Това означава, че твърдението "C" логично следва от твърдението "B", което от своя страна логично следва от твърдението "A".

На практика следствията често се използват, за да осигурят допълнителна представа или да илюстрират последствията от определен резултат. Те могат да бъдат полезни и за подпомагане на изграждането на верига от логически аргументи, където всяка стъпка следва естествено от предишната.