Qual é o melhor aplicativo iOS para resolver sudoku, kakuro e outros quebra-cabeças lógicos?

Tres maneiras de interpretar a tua pergunta, a mais fácil primeiro:

Por definição, um sudoku próprio tem apenas uma solução, por isso sim, em princípio pode ser deduzido.

Uma pessoa pode construir um sudoku impróprio que tem mais do que uma solução. Então não, obviamente você tem que adivinhar, mas isso'não é um sudoku real.

Para resolvê-los na prática? Como alguém que se saiu razoavelmente bem em competições de sudoku, acho que eu'estou qualificado para responder.

Para a maioria dos níveis de dificuldade, qualquer coisa abaixo de "mal" ou "extremamente difícil", não vale a pena't pague para adivinhar. Você pode deduzir tudo isso com mais facilidade do que pode recuar nos palpites.
Você tem que potencialmente achá-lo falso e voltar atrás - se você simplesmente escrever "5" em um provável quadrado, sem nenhuma maneira de voltar atrás, você'é provável que você receba um enigma falhado.

Isso depende do que a sua maçã do enigma faz com os palpites ruins, é claro. Algumas aplicações assinalam imediatamente os maus palpites e outras deixam-no recuar mais facilmente do que outras. Para aqueles que compensa adivinhar mais prontamente. Mesmo assim, você quer olhar para tudo o que você pode fazer com quadrados de 2 vias antes de adivinhar. Isso'é um pouco à parte da sua pergunta - você perguntou se era necessário um palpite, não se era conveniente.

E depois há níveis de dificuldade mais altos. Lá você entra em situações em que nenhuma lógica superficial sobre os quadrados de 2 e 3 vias faz qualquer progresso. Você tem que testar uma hipótese. Então não, às vezes você tem que adivinhar. Eu mesmo, eu escolho um provável quadrado de 2 vias e tento de ambas as maneiras, fazendo uma notação de lápis particular em cada quadrado que eu deduzo de cada adivinhação, para que eu possa voltar atrás se eu encontrar uma contradição.

Agora que I'já disse tanto "sim" quanto "não", eu sinto a necessidade de resolver o paradoxo. A coisa é, "adivinhar" é outra forma de dizer "fazer uma hipótese e testá-la".
Gerar uma hipótese, testá-la, e retroceder é a prova do nosso velho amigo pela contradição, e prova pela contradição é uma parte da lógica. Então "adivinhar" é uma parte da dedução lógica, então "sim e não" é't realmente uma contradição.

tl;dr: sim e não, e adivinhar é't necessariamente o oposto da lógica.