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

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

Рассуждения

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

А → В.

Если губернатор наложит на него вето (А), то фермеры окажут ему поддержку (С). А → С.

Губернатор либо не подпишет билль, либо не наложит на него вето.

А Ꚛ А.

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

В Ꚛ С.

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

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

∑→ (В Ꚛ С).

А → В.

А → С.

А Ꚛ А.

----------

В Ꚛ С.

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

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

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

А → В.   (=1)

А → С.   (=1)

А Ꚛ А.      (=1)

----------

В Ꚛ С.      (=0)

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