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

Рассуждения

Если экзаменатор строг (А), то экзамен трудно сдать (В).

А → В.

Экзаменатор строг (А), или студенты плохо посещают занятия (С).

А ˅ С.

Если студенты плохо посещают занятия (С), то плохо работает администрация факультета (D).

С → D.

Однако, администрация работает хорошо.

Значит, экзамен трудно сдать.

В.

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

А → В.

А ˅ С.

С → D.

----------

В.

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

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

А → В. (=1)

А ˅ С. (=1)

С → D. (=1)

D. (=1)

----------

В. (=1)

Категория: Алгебра высказываний | Добавил: алхимик (13.12.2022)

Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]

ХИМИЯ