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

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

Отношение  множеств для оригинала

 

Таблица истинности отображения

A  B C  В    А → С  А → В  С ˄ А  (С ˄ А) → В
​​​​​​​1  1  1  0         1           0          1              0
0  1  1  0         1           1          0              1
​​​​​​​1  0  1  1         1           1          1              1
1  1  0  0         0           0          0              1
​​​​​​​0  0  1  1         1           1          0              1
0  1  0  0         1           1          0              1
1  0  0  1         0           1          0              1
0  0  0  1         1           1          0              1

 

Во всех случаях если истинны А → С и А → В, то истинно (С ˄ А) → В.

 

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