Выполнимость — в математической логике выполнимость и действительность являются элементарными понятиями семантики. Формула является выполнимой, если можно найти интерпретацию (модель), которая делает формулу истинной. Формула действительна, если все интерпретации делают ее верной. Противоположностью этих концепций являются неудовлетворительность и недействительность, то есть формула неудовлетворительна, если ни одна из интерпретаций не делает формулу истинной, и недействительной, если какая-то такая интерпретация делает формулу ложной. Эти четыре концепции связаны друг с другом точно так же, как Аристотель квадрат противоположности.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]