Формула, которая истинна независимо от того, какие значения принимают встречающиеся в ней пропозициональные переменные, называется ...
Формула называется ..., если на некотором наборе распределения истинностных значений переменных она принимает значение «Истина»