Заключение
- Следствие в математике и логике является менее важной теоремой, которая может быть легко выведена из предыдущей, более примечательной утверждения.
- Следствие может быть использовано для обозначения чего-то, что естественным образом или случайно сопутствует чему-то другому.
- В математике следствие связано коротким доказательством с существующей теоремой.
- Использование термина «следствие» субъективно и зависит от конкретного контекста.
- Следствие обычно считается второстепенным по важности по сравнению с важностью самой теоремы.
- Теория дедуктивного мышления Пирса разделяет дедуктивные рассуждения на следственные и теоретические.
- Логическая дедукция соответствует концепции прямой демонстрации, в то время как теоретическая дедукция является более ценной для математиков.
- Следствие включает введение леммы или определения, не содержащегося в тезисе, и может быть связано с доктриной Монро или теоремой Пифагора.
Полный текст статьи: