в рамках изучения мат статистики и теории вероятности иногда изучают мат логикушкольный вариант "сталинской логики" - это сильно упрощенный курс мат логики, без формул, без всяких дизъюнкций-конъюнкций, практически на бытовом уровнеон прикольный, но прям каких-то волшебных результатов от его изучения я бы не ожидалаолимпиадная математика в началке, задачи про рыцарей и лжецов дают тот же эффект