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

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

Если наступит мир (А) и страна проведет программу перевооружения (В) либо осуществит грандиозную программу внутренних капиталовложений (С), то возникнет депрессия (D).

[(А ˄ В) ˅ C] → D.

Но такая программа не может быть осуществлена.

В.

Значит, если наступит мир (А) и не будет депрессии (D), то будет проводиться программа перевооружения (В).

(А ˄ D) → В.

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

∑= {[(А ˄ В) ˅ C → D] ˄ В }.

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

[(А ˄ В) ˅ C] → D.

В.

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

(А ˄ D) → В.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[(А ˄ В) ˅C] → D.  (=1)

В.                        (=1)

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

(А ˄ D) → В.         (=1 или =0)

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