Разница между логическими и числовыми равенствами заключается в их природе и значении:
- Логическое равенство — это отношение взаимной заменяемости объектов, которые в силу этой заменяемости и считаются равными. 2 Логическое равенство верно, когда оба выражения обозначают один и тот же предмет. 2
- Числовое равенство — это утверждение о том, что два математических выражения по обе стороны от знака равенства имеют одинаковое числовое значение. 34 Числовое равенство истинно, если значения числовых выражений, стоящих в левой и правой частях равенства, совпадают. 1
Таким образом, логическое равенство касается отношений между выражениями языка логики, а числовое равенство — это высказывание о равенстве значений числовых выражений. 14