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