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

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

Рассуждения

Если в силлогизме не распределен средний термин (А) или обе посылки отрицательные (В), то силлогизм неправильный (С).

(А ˅ В) → С.

В данном силлогизме средний термин распределён (А) и нет двух отрицательных посылок (В).

(А ˄ В).

Значит, данный силлогизм правильный.

С.

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

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

∑→ С.

(А˅В) → С.

А˄В.

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

С.

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

1  1  1  0  0  0     1             0          0                  0                                 1

0  1  1  1  0  0     1             0          0                  0                                 1            

1  1  0  1  0     0             1          1                  1                                 1

1  1  0  0  0  1     1             1          0                  0                                 1

0  0  1  1  1  0     1             0          0                  0                                 1

0  1  0  1  0  1     1             1          0                  0                                 1

1  0  0  1  1     0             1          1                  1                                 0

0  0  0  1  1  1     1             1          0                    0                                   1

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

(А˅В) → С.   (=1)

А˄В.              (=1)

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

С.                  (=1 или =0)

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