Алгебра и логика
Составные высказывания на естественном языке
образуются с помощью
союзов:
Солнце в зените И тени нет.
Мы пойдём в кино ИЛИ на дискотеку.
НЕВЕРНО, что Солнце движется вокруг Земли.
ЕСЛИ сумма цифр числа делится на 3, ТО число делится на 3
Число 15 делится на 3 ТОГДА И ТОЛЬКО ТОГДА, когда
сумма цифр числа 15 делится на 3.
Эти союзы в алгебре высказываний заменяются на
логические операции.
Логические операции задаются таблицами истинности и могут быть графически проиллюстрированы с помощью
диаграмм Эйлера-Венна.