Алгоритмы, дискретная математика и пр.'s Journal (original) (raw)
С помощью производных правил вывода когда-то делали
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.Первые 2 метода более или менее понятны. Не понятен метод резолюций. Помогите, пожалуйста.