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

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

Доказательство

(A ˄ B) → (A → B).  

(A → B) → ˥(A → B).

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

(A ˄ B) ↔ ˥(A → B).

 

А  В  В  A ˄ B A → B (A ˄ B) → (A → B)  ˥(A → B)  (A → B) → ˥(A → B)  (A ˄ B) ↔ ˥(A → B)  

1  1   0     1          1                  1                      1                      1                           1

0  1   0     0          1                  1                      0                      0                           1

0  0   1     0          1                  1                      0                      0                           1

1  0   1     0          0                  1                      0                      1                           1

 

Следствие

(A˄B) ↔ ˥(A → B).

(A → B) → ˥(A → B). 

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

(A˄B) → (A → B).  

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