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

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

Рассуждения

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

(А ˄ В) → С.

Завтра будет холодно (А) и рукав не будет починен (В).

А ˄ В.

Следовательно, я не надену теплое пальто.

С.

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

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

∑→ С.

(А ˄ В) → С.

А ˄ В.

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

С.

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

1   1   1   0   0    1         1              0                          0                        1

0   1   1   0   0    0         1              0                          0                        1

1   0   1   1   0    0         1              1                          1                        0

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

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

А ˄ В.             (=1)

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

С.                 (=0)

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