Логика предикатов с одним переменным

Если мы все переменные предиката R (x, y, ..., u) свяжем ограниченными кванторами, например.Практика по решению проблемы разрешимости формул, содержащих предикаты от одного переменного.Их мы будем называть предметными переменными.Предметное переменное, не связанное никаким квантором, мы будем называть свободным переменным.Если в U есть свободные предметные переменные, то можно связать их квантором общности.В данном случае число предикатов (n) равно 2, т.е. L может быть представлено как { a1, a2, a3, a4 }.При этом переменные x, y, z пробегают множество M, а функция принимает значения И и.Логика, в которой употребляются только такие выражения, соответствует той, которая описана.Покажем, что если для некоторого поля M существуют индивидуальные предикаты.Под этим выражением мы будем понимать предикат, зависящий от y, z, ..., u.