Каталог статей
Главная » Статьи » Алгебра высказываний |
ХИМИЯ В ЛОГИКЕ
Доказательство: (˥X ˄ ˥Y) = (˥X =1, ˥Y =1) (по определению). (˥X ↔ ˥Y) = (˥X =1, ˥Y =1), (˥X =0, ˥Y =0) (по определению). Одинаковые выражения (˥X =1, ˥Y =1) сокращаются. (˥X =0, ˥Y =0) исключается, т.к. противоречит истинности (˥X ˄ ˥Y). --------------------------------------------------------------------------------- (˥X ˄ ˥Y) → (˥X ↔ ˥Y). | |
Категория: Алгебра высказываний | Добавил: алхимик (16.05.2023) | |
Просмотров: 35 |
Всего комментариев: 0 | |