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