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

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

Рассуждения

Если не знаешь весь курс логики, то экзамен не сдашь.

АВ.

А если пропускаешь занятия, то не знаешь весь курс.

С → А.

Значит, если студент сдал экзамен по логике, то он не пропускал занятия.

В → С.

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

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

∑→ (В → С ).

АВ.

С → А.

---------

В → С.

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

1   1  1   0  0  0         1          0                   0                 0                  1

1   1  0   0  0  1         1          1                   1                 1                  1

1   0  1   0  1  0         1          0                   0                 1                  1

0   1  1   1  0  0         0          1                   0                 0                  1

1   0  0   0  1  1         1          1                   1                 1                  1

0   1  0   1  0  1         0          1                   0                 1                  1

0   0  1   1  1  0         1          1                   1                 1                  1

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

АВ.  (=1)

С → А.  (=1)

---------

В → С(=1)

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