formuła

formuła

[łac. formula ‘reguła’, ‘wzorzec’],

log. wyrażenie zawierające zmienne wolne (zmienne logiczne);

wyróżnia się m.in. f. nazwowe, które po podstawieniu stałych za wszystkie zmienne przekształcają się w nazwę (np. stolica państwa X), oraz f. zdaniowe, które po podstawieniu stałych za wszystkie zmienne przekształcają się w zdania (np. x jest y).