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