План 1. Образование сложных суждений. 2. Установление логического значения сложных суждений при помощи таблиц истинности.
Сложные суждения – суждения, состоящие из нескольких простых суждений, связанных между собой логическими союзами. Именно по ним определяют вид и логические характеристики, условия истинности сложного суждения. Построение таблиц истинности проходит через построение логических функций и имеет параллели с математическими функциями. То есть простому суждению присваивается переменная, которая может принимать только два значения: логическая единица (1 – истина) или логический нуль (0 – ложь). Всего существует пять логических союзов: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. Из перечисленных союзов унарным является отрицание "не", "неверно, что". Оно символически изображается знаком "" и имеет таблицу истинности: p p Ложно, если исходное отрицание истинно. Истинно, если исходное отрицание ложно.
и л л и
При составлении через логическую функцию таблица истинности для инверсии будет иметь вид: А не А Функция вычитания: F=|А – 1| (по модулю) 1 0 0 1