Коли ми оцінюємо речення як дійсне або як хибне, то при цьому звичайно маємо на увазі відповідність або невідповідність його змісту дійсності. Формули, що приймають значення істинна при всіх наборах значень вхідних у них змінних, а також формула істинна називаються тавтологіями. Їх називають також тотожно дійсними формулами.