Большой англо-русский и русско-английский словарь
мат. propositional formula
Математическая энциклопедия
выражение, построенное из пропозициональных переменных с помощью пропозициональных связок 
(и, возможно, нек-рых других) по следующим правилам: 1) каждая пропозициональная переменная есть II. ф.; 2) если А, В суть П. ф., то 
, 
и 
суть также П. ф.
Если а - нек-рый набор пропозициональных связок (сигнатура), то под П. ф. сигнатуры а понимается такая П. ф., в построении к-рой в 2) использовались лишь связки из s. C. К. Соболев.