Формулу логіки предикатів називають загальнозначущою (або тотожно істинною, або тавтологією), якщо при будь-якій підстановці замість предикатних змінних будь-яких конкретних предикатів, заданих на будь-яких множинах, вона перетворюється на тотожно істинний предикат.
Визначення: Логіка предикатів – це розділ символічної логіки, що вивчає міркування та інші мовні контексти з урахуванням внутрішньої структури простих висловлювань, що входять до них, при цьому вирази мови трактуються функціонально, тобто як знаки деяких функцій або ж як знаки аргументів цих функцій.
Формула A логіки предикатів називається здійсненною в області M, якщо існують значення змінних, що входять до цього формулу та віднесених до області M, при яких формула A набуває справжніх значень. Формула A називається здійсненноюякщо існує область, на якій ця формула здійсненна.
Формулою математичної логіки називається складне висловлювання, яке отримано з елементарних висловлювань із використанням логічних операцій. Дві формули рівносильні, якщо вони набувають однакових логічних значень на будь-якому наборі значень, що входять до формулу елементарних висловлювань.