satisfiable statement

Мат. выполнимое [не всегда ложное] высказывание