X
Size: a a a
2020 September 21
X
То есть высказывание остаётся истинным и в пересечении с Х, и в пересечении с not Х
X
приём специфичненький, но в этом случае красиво работает
X
то есть суть приёма в том, что
BM
Последний переход к x = x не очень ясен
X
Предпоследний? a+y=b+y по условию №2
BM
Предпоследний? a+y=b+y по условию №2
Да, но почему из этого следует равенство множителей?
BM
Возможно лучше применить a+y = b+y и получить, (b+y)x = (b+y)x, например, тоже тавтология
X
(a+y)(not x) = (b+y)(not x) является истинным, потому что по условию (a+y) = (b+y) = q, и q (not x) == q (not x) тавтология
X
не понимаю, какое ещё нужно объяснение
A
как вторая строчка получается?
BM
(a+y)(not x) = (b+y)(not x) является истинным, потому что по условию (a+y) = (b+y) = q, и q (not x) == q (not x) тавтология
Ну вот. Просто подумают ещё, что сокращать можно)
X
а написано что?
X
вторая строчка получается из соображения, что
X
всякое соотношение P == Q
эквивалентно
AP == AQ && ĀP == ĀQ
эквивалентно
AP == AQ && ĀP == ĀQ
X
т.е. это разложение формулы по множеству А
X
справедливая формула справедлива одновременно в пересечении со множеством А и во всех остальных точках универсума
BM
как вторая строчка получается?
Вы знаете что такое разбиение множества?
X
Ну вот. Просто подумают ещё, что сокращать можно)
Нет. Сокращать нельзя. Пусть не думает.
Давай пропишем явно:
Из AB == АС НЕ следует не только B==C,
но даже и (B==C || A==∅).
Давай пропишем явно:
Из AB == АС НЕ следует не только B==C,
но даже и (B==C || A==∅).
A
Вы знаете что такое разбиение множества?
нет