Библиотека интерактивных материалов

Теоретический материал по теме «Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания», в котором вводится понятие высказывания и рассматриваются основные операции алгебры логики, которые можно выполнять с высказываниями.

Теоретический материал по теме «Построение отрицания к простым высказываниям», в котором излагаются методы построения отрицания к простым высказываниям, записанным на русском языке, вводятся понятия кванторов (существования и общности) и излагаются методы преобразования кванторов при построении отрицаний.

Теоретический материал по теме «Построение отрицаний к сложным высказываниям», в котором излагаются методы построения отрицания к сложным высказываниям, записанным на русском языке.

Подборка практических заданий по теме «Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания» на знание логических операций и умение их использовать.

Подборка практических заданий по теме «Построение отрицания к простым высказываниям» на умение строить отрицания к простым высказываниям.

Подборка практических заданий по теме «Построение отрицаний к сложным высказываниям» на умение строить отрицания к сложным высказываниям.

Подборка проверочных заданий по теме «Построение отрицаний к сложным высказываниям» на умение строить отрицания к сложным высказываниям.

Подборка проверочных заданий по теме «Построение отрицания к простым высказываниям» на умение строить отрицания к простым высказываниям.

Подборка проверочных заданий по теме «Основные понятия и аксиомы алгебры логики. Простые и сложные высказывания» на знание логических операций и умение их использовать.

Подборка проверочных заданий к главе 3 на умение строить отрицания к сложным и простым высказываниям, заполнение таблиц истинности, выполнение тождественных преобразований, решение логических задач.