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

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

Рассуждения

Если лекции не интересны (А), то их плохо посещают (В).

А → В.

Если лекции плохо посещают (В), то учебная часть проверяет посещаемость (С). 

В → С.

Если учебная часть проверяет посещаемость (С), то её инспектора перегружены работой (D).

С → D.

Значит, если лекции интересны (А), то инспектора учебной части не перегружены работой (D).

А D.

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

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

→ (А D ).   

А → В.

В → С.

С → D.

---------

А D.

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

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

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

А → В.  (=1)

В → С.  (=1)

С → D.  (=1)

---------

А D.  (=0)

Истинно

А → В.

В → С.

С → D.

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

D˅ ˥(А D).

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