Embedded Files
Логическое следование (Импликация) А ->В
А - условие В – следование
Если А, тогда В
Составное высказывание, образованное с помощью операции логического следования, ложно тогда и только тогда, когда из истинной предпосылки (первого высказывания) следует ложный вывод (второе высказывание).
ВЫВОД: Результат будет ложным тогда и только тогда, когда из истинного высказывания (А) следует ложное следствие (В).
ВЫВОД: Результат будет ложным тогда и только тогда, когда из истинного высказывания (А) следует ложное следствие (В).
Логическое равенство (Эквивалентность)
А = В или А <-> В
А только и только тогда, когда В
Составное высказывание, образованное с помощью логической операции эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.
ВЫВОД: Результат будет истинным тогда и только тогда, когда оба высказывания либо ложны, либо истинны одновременно.
ВЫВОД: Результат будет истинным тогда и только тогда, когда оба высказывания либо ложны, либо истинны одновременно.
Приоритет операций – это порядок выполнения логических операций и функций в высказывании.
1. Инверсия
2. Конъюнкция
3. Дизъюнкция
4. Импликация
5. Эквивалентность
Задание. Построить таблицы истинности для выражений:
Домашнее задание:
Домашнее задание:
Построить таблицы истинности для следующих логических выражений:
Page updated
Report abuse