Перейти к навигации Перейти к поиску
В этой статье не процитировать какие - либо источники . ( декабрь 2018 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
В математической логике алгебраическое предложение - это предложение, которое можно сформулировать, используя только уравнения между членами со свободными переменными . Неравенства и количественные показатели специально запрещены. Сентенциальная логика - это подмножество логики первого порядка, включающее только алгебраические предложения.
Сказать, что предложение является алгебраическим, - более сильное условие, чем сказать, что оно элементарно .
Связанные [ править ]
Эта статья по математической логике - незавершенная . Вы можете помочь Википедии, расширив ее . |