Практические приложения алгебры высказываний
Заключение:
Решение:
Значит из данных посылок следует .
Задача 5. Или Сэлли и Боб одного возраста (S), или Сэлли старше Боба (O). Если Сэлли и Боб одного возраста, то Нэнси и Боб не одного возраста (N). Если Сэлли старше Боба, то Боб старше Уолтера (W). Следовательно, или Нэнси и Боб не одного возраста, или Боб старше Уолтера.
Решение:
Посылки: , ,
Содержание
- Введение
- - логические операции над высказываниями;
- - равносильные формулы алгебры высказываний;
- 1.2 Равносильные формулы алгебры высказываний
- 1.3 Нормальные формы
- 1.4 Логические следствия
- - исследование рассуждений;
- 2.1 Исследование рассуждений
- - получение логических следствий из данных формул и посылок для данных логических следствий;
- 2.2 Получение логических следствий из данных формул и посылок для данных логических следствий
- - необходимые и достаточные условия;
- 2.3 Необходимые и достаточные условия
- - анализ и синтез релейно-контактных схем.
- 2.4 Анализ и синтез релейно-контактных схем
- Заключение:
- Заключение:
- Заключение:
- Заключение