Практические приложения алгебры высказываний
Заключение:
Решение:
Значит из данных посылок следует .
Задача 3. Я пойду домой (H) или останусь здесь и выпью стаканчик (S). Я не пойду домой. Следовательно, я останусь и выпью.
Посылки: ,
Заключение: S
Решение:
Значит, высказывание «я останусь и выпью» является логическим следствием из данных посылок.
Задача 4. Если Джон ляжет сегодня поздно (S), он будет утром в отупении (D). Если он ляжет не поздно, то ему будет казаться, что не стоит жить (L). Следовательно, или Джон будет завтра в отупении, или ему будет казаться, что не стоит жить.
Посылки: ,
Содержание
- Введение
- - логические операции над высказываниями;
- - равносильные формулы алгебры высказываний;
- 1.2 Равносильные формулы алгебры высказываний
- 1.3 Нормальные формы
- 1.4 Логические следствия
- - исследование рассуждений;
- 2.1 Исследование рассуждений
- - получение логических следствий из данных формул и посылок для данных логических следствий;
- 2.2 Получение логических следствий из данных формул и посылок для данных логических следствий
- - необходимые и достаточные условия;
- 2.3 Необходимые и достаточные условия
- - анализ и синтез релейно-контактных схем.
- 2.4 Анализ и синтез релейно-контактных схем
- Заключение:
- Заключение:
- Заключение:
- Заключение