Лемма - это...

В логике – утверждение, признанное истинным и используемое доказательства другого утверждения. Леммы обычно различаются от постулатов тем, что леммы в принципе доказуемы (или предположительно доказуемы).


Определения, значения слова в других словарях:

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

Поделиться:

Реклама