История изменений
Исправление Manhunt, (текущая версия) :
А дедукция, это логический вывод, если для всех букв a, b справедливо «= x», то они равны.
Вполне может быть так, что верны высказывания «a=x» и «b=x», но не верно высказывание «a=b». Все зависит от того, что за отношение понимать под знаком «=». Так вот для тех отношений, для которых из «a=b» и «b=c» следует «a=c», придумано специальное название - транзитивные.
Не вижу, причем тут был бы логический вывод.
Исходная версия Manhunt, :
А дедукция, это логический вывод, если для всех букв a, b справедливо «= x», то они равны.
Вполне может быть так, что верны высказывания «a=x» и «b=x», но не верно высказывание «a=b». Все зависит от того, что за отношение понимать под знаком «=». Так вот те отношения, для которых из «a=b» и «b=c» следует «a=c», придумано специальное название - транзитивные.
Не вижу, причем тут был бы логический вывод.