В статье рассматриваются педагогические проблемы, возникающие в процессе формирования навыков логического мышления будущих учителей информатики в условиях искусственного интеллекта. Цель исследования – систематизировать предметные действия, в которых проявляются навыки логического мышления будущих учителей информатики при освоении содержания информатики, выявить педагогические проблемы, возникающие в процессе формирования данных навыков в условиях искусственного интеллекта, и обосновать взаимосвязь причин их возникновения и путей решения. В исследовании использовались методы анализа научной литературы, сравнительного анализа, теоретического обобщения, систематизации и педагогической интерпретации. Проявления навыков логического мышления в учебной деятельности систематизированы на основе взаимосвязи мыслительных операций и действий логического рассуждения. В результате анализа содержания информатики определены их предметные проявления в таких направлениях, как алгоритмизация и программирование, информационное моделирование, работа с данными, компьютерные системы, сетевые технологии, информационная безопасность и компьютерная графика. В результате анализа возможностей средств искусственного интеллекта поддерживать, полностью или частично выполнять указанные логические действия во взаимосвязи с сохранением самостоятельной логической деятельности обучающегося выявлены три основные педагогические проблемы: сохранение самостоятельной логической деятельности обучающегося; самостоятельная проверка результатов, предложенных искусственным интеллектом, и формулирование на их основе обоснованных выводов; подготовка будущих учителей информатики к использованию средств искусственного интеллекта в соответствии с педагогическими целями. Систематизированы причины возникновения выявленных проблем и педагогические пути их решения. Результаты исследования показывают необходимость рассматривать педагогическое значение использования средств искусственного интеллекта при формировании навыков логического мышления не только с точки зрения их технологических возможностей, но и с позиции характера поддержки или замещения самостоятельной логической деятельности обучающегося.