Для себя Нужно написать программу, которая проверяет вывод исчисления предикатов. На вход должен подаваться текстовый файл, где будет сам вывод (то есть вывод у нас это дерево секвенций). Программа должна считать этот файл и выдать результат верно или неверно. Хотелось бы обсудить данную задачу. Может быть ее как-то упросить, но остаться в рамках данной темы.