Математическая энциклопедия - пропозициональная формула

выражение, построенное из пропозициональных переменных с помощью пропозициональных связок (и, возможно, нек-рых других) по следующим правилам: 1) каждая пропозициональная переменная есть II. ф.; 2) если А, В суть П. ф., то , и суть также П. ф.

Если а нек-рый набор пропозициональных связок (сигнатура), то под П. ф. сигнатуры а понимается такая П. ф., в построении к-рой в 2) использовались лишь связки из s. C. К. Соболев.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985