Существует ли алгоритм развязывания произвольных формул логики предикатов, игнорирующий семантику?

Question

Существует ли алгоритм развязывания произвольных формул логики предикатов, игнорирующий семантику?

Earthwalker Мыслитель (8137), открыт 3 недели назад

Другими словами, как развязывать задачи логики предикатов без необходимости обращения к её семантике, а исключительно и только формальными средствами?

Спасибо

Answer 1

Мамут Рахал Гуру (3412) 3 недели назад

Пожалуйста

Answer 2

Античная риторика требовала в фалековом гендекасиллабе большой постоянной цезуры после арсиса третьей стопы. Это важно