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

Рассуждения

Если мы не будем продолжать политику сохранения цен (А), то мы потеряем голоса фермеров (В).

А → В.

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

(А ˄ С) → D.

Без голосов фермеров нас не переизберут.

Е.

Значит, если нас переизберут (Е), и мы не прибегнем к контролю над производством (С), то продолжится перепроизводство (D).

(Е ˄ С) → D.

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

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

∑→ [(Е ˄ С ) → D].

А → В.

(А ˄ С) → D.

Е.

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

(Е ˄ С) → D.

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

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

А → В. (=1)

(А ˄ С) → D. (=1)

Е. (=1)

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

(Е ˄ С) → D. (=1)

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

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

ХИМИЯ