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

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

Рассуждения

Если он принадлежит к нашей компании (А), то он храбр (В) и на него можно положиться (С).

А → (В ˄ С).

Он не принадлежит к нашей компании.

(А).

Значит, он не храбр (В) или на него нельзя положиться (С).

В ˅ С.

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

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

(В ˅ С).

А → (В ˄ С).

А.

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

В ˅ С.

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

1  1   1  0   0   0    1         1                      0                  0               1

0  1   1  1   0   0    1         1                      1                  0               0

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

А → (В ˄ С).  (=1)

А.                      (=1)

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

В ˅ С.                (=0)

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