История изменений
Исправление Absurd, (текущая версия) :
Честно говоря, даже не знаю о чём речь.
Речь идет о программе для составления доказательств. Вводишь в символьном виде посылки, вводишь цель что надо доказать, и дальше строишь доказательство.
PS: Что-то я не нашел подобного софта для самопроверок. Какой-нибудь Пролог учить лень.
Исходная версия Absurd, :
Честно говоря, даже не знаю о чём речь.
Речь идет о программе для составления доказательств. Вводишь в символьном виде посылки, вводишь цель что надо доказать, и дальше строишь доказательство.