4.4.Формулы общезначимые, выполнимые, логически эквивалентные.

Формула называется общезначимой (или тождественно истин- ной), если она истинна в любой интерпретации при любой ее оценке. Весь материал взят: