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

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

Если бы он ей не сказал, то  она ни за что бы не узнала.

А → В.

А не спроси она его, он бы и не сказал.

С → А.

Но она узнала.

В.

Значит, она его спросила.

С.

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

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

∑→ C.

А → В.

С → А.

В.

----------

С.

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

1 1  1  0  0  0       1           1                  1                            1

0 1  1  1  0  0       0           1                  0                            1

1 0  1  0  1  0       1           1                  0                            1

1 1  0  0  0  1       1           0                  0                            1

0 0  1  1  1  0       1           1                  0                            1

0 1  0  1  0  1       0           0                  0                            1

1 0  0  0  1  1       1           0                  0                            1

0 0  0  1  1  1       1           1                  0                            1

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

А → В.  (=1)

С → А.  (=1)

В.          (=1)

--------

С.          (=1)

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