Элементы математической логики рассматриваются и в школьном курсе математики, и в курсе информатики. Умение же логически грамотно рассуждать, четко формулировать свои мысли и делать правильные выводы требуется на всех уроках, не только на математике и информатике, а также и в жизни. Поэтому в течение нескольких последних лет в проводится обучение по предмету «Математическая логика». Этот, что курс логики позволяет повысить математическую и общую культуру мышления учащихся, научить их разбираться в сути определений, формулировок и доказательств, привить им навыки правильных рассуждений, что помогает сознательному и глубокому усвоению школьных дисциплин, в том числе и математики.