История изменений
Исправление Deleted, (текущая версия) :
На каком языке ты утверждения вводишь? На естественном?
Нет, я об этом даже не мечтаю.
а специальный синтаксис, как у ЯП
Я бы предпочёл синтаксис не как у ЯП, а как у математической логики. В идеале это собственно он и должен быть.
Исходная версия Deleted, :
На каком языке ты утверждения вводишь?
Нет, я об этом даже не мечтаю.
а специальный синтаксис, как у ЯП
Я бы предпочёл синтаксис не как у ЯП, а как у математической логики. В идеале это собственно он и должен быть.