Цель исследования - определение условий формирования доказательного критического мышления у четвероклассников. Таким условием выступает авторская программа «Вывод 1», включающая 10 типов сюжетно-логических задач неучебного содержания. Каждый тип задач представлен в трех структурных вариантах: найти ответ, найти вопрос, найти часть условий. Контрольная группа включала 52 ученика, экспериментальная группа - 55 учеников, с которыми в течение учебного года было проведено 30 еженедельных групповых занятий по программе «Вывод 1». Начальная и итоговая диагностика логических действий критического мышления проводилась на основе методики «Относительность», включающей задачи, построенные на транзитивности бинарных отношений. В сентябре успешность решения задач обеими группами испытуемых была приблизительно одинаковой. В мае дети экспериментальной группы успешно решили задачи второй степени - 87,3 % и третьей степени сложности - 27,3 %, дети контрольной группы, соответственно: 69,2 % и 13,5 %, - (различие показателей 87,3 % и 69,2 % статистически значимо при p < 0,01, показателей 27,3 % и 13,5 % - при p < 0,05). Исследование показало, что занятия по школьной программе и программе «Вывод 1» вносят гораздо больший вклад в формирование доказательного критического мышления, чем занятия только по школьной программе.