Англійська ⇄ Російська +

satisfiable statement наголоси
логіка	выполнимое высказывание; не всегда ложное высказывание
мат.	выполнимое высказывание (не всегда ложное)
IT	выполнимое утверждение