Являются правильно построенными формулами (ППФ)* следующие выражения языка логики предикатов...* - учитывайте свободные переменные* - внешние скобки не обязательны