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

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

Если Джон ляжет сегодня поздно (А), то он будет утром в отупении (В).

А → В.

Если Джон ляжет сегодня  не поздно (А), то ему будет казаться, что не стоит жить (С).

А → С.

Следовательно, или Джон будет завтра в отупении (В), или ему будет казаться, что не стоит жить (С).

В ˅ С.

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

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

∑→ (В ˅ С).

А → В.

А → С.

---------

В ˅ С.

А  В  С  А  А → В  А → С  В˅С            ∑         Схема рассуждения

1   1  1   0      1          1         1                1                         1

0   1  1   1      1          1         1                1                         1

1   0  1   0      0          1         1                0                         1

1   1  0   0      1          1         1                1                         1

1   0  0   0      0          1         0                0                         1        

0   1  0   1      1          0         1                0                         1

0   0  1   1      1          1         1                1                         1

0   0  0   1      1          0         0                0                         1

Схема рассуждения истинна.

 А → В.  (=1)

А → С.  (=1)

---------

В ˅ С.      (=1)

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