LINUX.ORG.RU

История изменений

Исправление Manhunt, (текущая версия) :

Их невозможно вывести дедуктивно, они не будут соответствовать дедуктивному выводу.

Допустим. Ну так каким образом «дедукция» могла бы заменить собой свойство транзитивности? Объясни подробно.

Исходная версия Manhunt, :

Их невозможно вывести дедуктивно, они не будут соответствовать дедуктивному выводу.

Допустим. Ну так каким образом «дедукция» могла бы заменить собой свойство транзитивности?