Turing-recognizable -- это такое экзотическое название для разрешимого, что ли?
Видимо нет, поскольку в таком случае оба утверждения тривиальны.