" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ПРОПОЗИЦИОНАЛЬНАЯ ФОРМУЛА

Значение ПРОПОЗИЦИОНАЛЬНАЯ ФОРМУЛА в математической энциклопедии:

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

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