Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Результатом операции антидизъюнкции для высказывания А ¯ В будет истинна только тогда, когда оба высказывания ложны.
Пример 17. Высказывания А= «Рим – столица России» и В= «Москва – столица Италии». Сложное высказывание А ¯ В истинно, так как ложны оба высказывания.
Основными символами алгебры логики являются:
Переменная, значениями которой являются высказывания, называется пропозициональной переменной.
Далее индуктивно вводится понятие формулы, являющееся формализацией понятия «сложного» высказывания. К формуле алгебры логики относят:
Правила сокращения записей в пропозициональных формулах:
~ ® Ú Ù Ø
Пример 18.
Для преобразований формул в равные формулы важную роль в алгебре логики играют следующие равенства:
Эти равенства позволяют существенно упростить запись формул освобождением от лишних скобок.
Дата публикования: 2014-11-02; Прочитано: 1154 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!