загальнозначущість
ЗАГАЛЬНОЗНАЧУЩІСТЬ - характеристика ствердження, якщо воно набуває значення "істини" в будь-яких допустимих ситуаціях ("теперішнє завжди буде минулим"). Відносно формального виразу (формули) ситуація уточнюється за допомогою інтерпретації. Загальнозначущі формули ще називають завжди істинними формулами, або логічними істинами, на відміну від формул, які набувають значення "істини" лише за певних умов. Напр., формула логіки висловлювань (pz>p)c завжди істинною і виражає закон тотожності для імплікації.