Каталог статей

Главная » Статьи » Алгебра высказываний

Рассуждения

Если я пойду завтра на первое занятие (А), то должен буду встать рано (В).

А → В.

Если я пойду вечером на танцы (С), то лягу спать поздно (D).

С → D.

Если я лягу поздно (D), а встану рано (Е), то буду вынужден обойтись пятью часами сна (F). 

(˄ Е) → F.

Значит, я должен или пропустить завтра первое занятие (А), или не ходить на танцы (С).

(А ˅ С ).

Схема рассуждения (А → В) ˄ (С → D) ˄ [(˄ Е) → F] → (А ˅ С ).

∑= (А → В) ˄ (С → D) ˄ [(˄ Е) → F].

(А ˅ С ).

А → В.

С → D.

(˄ Е) → F.

---------------

А ˅ С.

А  В  С  D  Е  F  С  А → В  С → D  D˄Е  (D˄Е) → F  А˅С       ∑  Схема рассуждения

1  1   1   1  1  1   0      1           1         1           1             1          1                     1

0  1   1   1   1   1 0      1           1         1           1             0          1                      0

Схема вывода ложна.

А → В.            (=1)

С → D.            (=1)

(˄ Е) → F.      (=1)

-----------------

А ˅ С.                 (=1 или =0)

Категория: Алгебра высказываний | Добавил: алхимик (13.12.2022)
Просмотров: 83
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]