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

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

Рассуждения

Если вы будете говорить правду, то люди проклянут вас.

А → В.

Если вы будете лгать, то вас проклянут боги.

А → С.

Но вы можете только говорить правду или лгать.

А ˅ А.

Значит, вас проклянут боги или люди.

С ˅ В.

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

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

→ (С˅В).

А → В.

А → С.

А ˅ А.

---------

С ˅ В.

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

1   1   1    0         1           1        1        1                1                                     1

0   1   1    1         1           1        1        1                1                                     1

1   0   1    0         0           1        1        1                0                                     1

1   1   0    0         1           1        1        1                1                                     1

1   0   0    0         0           1        1        0                0                                     1

0   1   0    1         1           0        1        1                0                                     1

0   0   1    1         1           1        1        1                1                                     1

0   0   0    1         1           0        1        0                0                                     1

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

А → В.  (=1)

А → С.  (=1)

А ˅ А.      (=1)

--------

С ˅ В.      (=1)

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