英语 ⇄ 俄语 +

satisfiable statement 强调
信息技术	выполнимое утверждение
数学	выполнимое высказывание (не всегда ложное)
逻辑	выполнимое высказывание; не всегда ложное высказывание