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

Рассуждения

Если N серьезный политик (А), он не будет делать таких заявлений (В).

А → В.

Если у него есть программа (С), то он должен ее изложить (D).

С → D.

N сделал такое заявление (В) и не изложил свою программу (D).

В ˄ D.

Значит, он не серьезный политик (А), и у него нет программы (С).

А ˄ С.

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

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

∑→ (А ˄ С ).

А → В.

С → D.

В ˄ D.

----------

А ˄ С.

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

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

А → В. (=1)

С → D. (=1)

В ˄ D. (=1)

----------

А ˄ С. (=1)

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

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

ХИМИЯ