Общезначимость, выполнимость, невыполнимость

Формула без свободных переменных называется замкнутой.

Для данной интерпретации всякая замкнутая формула представляет собой высказывание, которое истинно или ложно. А всякая формула со свободными переменными выражает некоторое отношение на области интерпретации, которое может быть истинно для одних значений переменных и ложно для других значений.

Если формула истинна при всех интерпретациях, то она общезначима,

например: .

Если формула ложна при любых интерпретациях, то она невыполнима, например: .

Формула выполнима, если существует интерпретация, в которой она выполнима.

Логика предикатов второго порядка – логика, использующая кванторы по предикатным буквам и (или) по функциям.

Предикаты в информатике могут задаваться и в «неакадемической» форме – с использованием слов естественного языка, например: находиться <Иван, работа> – двухместный предикат «Находиться <Х,У>» – Х находится в У.