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

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

Если кража совершена по наводке (А), то у преступника был сообщник (В).

А → В.

Если у преступника был сообщник (В), то налицо преступная группа (С).

В → С.

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

С → D.

Значит, если кража совершена по наводке, то это – преступление с отягчающими

обстоятельствами.

А → D.

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

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

∑→ (А → D).

А → В.

В → С.

С → D.

---------

А → D.

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

1  1 1  1        1          1          1           1                              1                               1

0  1 1  1        1          1          1           1                              1                               1

1  0 1  1        0          1          1           1                              0                               1

1  1 0  1        1          0          1           1                              0                               1

1  1 1  0        1          1          0           0                              0                               1

0  0 1  1        1          1          1           1                              1                               1

1  1 0  0        1          0          1           0                              0                               1    

0  1 0  1        1          0          1           1                              0                               1                   

1  0 0  1        0          1          1           1                              1                               1

1  0  1 0        0          1          0           0                              0                               1

0  1  1 0        1          1          0           1                              1                               1

0  0  0 1        1          1          1           1                              0                               1

0  0  1 0        1          1          0           1                              0                               1

0  1  0 0        1          0          1           1                              0                               1

1  0  0 0        0          1          1           0                              0                               1

0  0  0 0        1          1          1           1                              1                               1

Из таблицы видно, что во всех случаях (т.е. при всех значениях А,B,C,D) схема рассуждения истинна. В частности,  при истинных предпосылках (А → В,  В → С, С → D) заключение (А → D) истинно.

А → В. (=1)

В → С. (=1)

С → D. (=1)

---------

А → D. (=1)

 

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