Автор работы: Пользователь скрыл имя, 01 Мая 2013 в 21:17, лекция
Построение таблиц истинности проходит через построение логических функций и имеет параллели с математическими функциями. То есть простому суждению присваивается переменная, которая может принимать только два значения: логическая единица (1 – истина) или логический нуль (0 – ложь).
Всего существует пять логических союзов: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность.
1. Образование сложных суждений.
2. Установление логического значения сложных суждений при помощи таблиц истинности.