Описание языка логики предикатов
Допустимые, т.е. имеющие смысл в языке логики предикатов выражения называются правильно построенными формулами — ППФ. Понятие ППФ вводится следующими определениями: 1. Всякая пропозициональная переменная — р, q, r,... есть ППФ.