Пропозициональная Формула

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