10.Истинные и общезначимые формулы

Формула A{X1,...,Xn) называется истинной (выполнимой), если существует набор значений переменных Х10, Хnо такой, что A{X1o,Хnо) = T.

Формула A{X1, ...,Хn) называется общезначимой, если при любом наборе переменных она истинна. Для общезначимой формулы используется символическая запись |= A.