Лемма - это...
В логике – утверждение, признанное истинным и используемое доказательства другого утверждения. Леммы обычно различаются от постулатов тем, что леммы в принципе доказуемы (или предположительно доказуемы).
Определения, значения слова в других словарях:
Словарь Логики
Лемма(от греч. lemma — предположение) - в математике вспомогательное предложение, употребляемое при доказательстве одной или нескольких теорем. В логике — условно-разделительное, или лемматическое, умозаключение (см.: Дилемма).
Философский словарь
(от греч. lemma - предположение) - в математике вспомогательное предложение, употребляемое при доказательстве одной или нескольких теорем. В логике - условно-разделительное, или лемматическое, умозаключение (см.: Дилемма).
Поделиться: