Логика предикатов
...мы тем самым проверим истинность U. Проблема разрешимости для логики предикатов является усилением проблемы разрешимости для исчисления высказываний , так как все формулы исчисления высказываний входят в число формул логики предикатов.