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