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