BM
Нет. Сокращать нельзя. Пусть не думает.
Давай пропишем явно:
Из AB == АС НЕ следует не только B==C,
но даже и (B==C || A==∅).
Давай пропишем явно:
Из AB == АС НЕ следует не только B==C,
но даже и (B==C || A==∅).
😁😁😁
Size: a a a
2020 September 21
A
нет
по картинке только
X
AB==AC, но B!=C и А!=∅
X
поэтому никаких сокращений.
X
но в приведённых рассуждениях сокращений не требуется
X
как вторая строчка получается?
Ты приём поняла?
A
Ты приём поняла?
нет
A
не понимаю почему так работает
X
смотри
X
у тебя есть универсум
X
Его всегда можно разбить на две части (A и Ā)
X
т.е. ты универсум представляешь в виде "всё, что в А" и "всё остальное"
X
и рассматриваешь свою формулу в этих двух случаях отдельно
X
как понять, как ведёт себя некоторая формула в пределах множества А? Пересечь левую и правую части с А.
X
Как понять, как ведёт себя некоторая формула ЗА пределами множества А? Пересечь левую и правую части с Ā.
X
Чтобы формула была верна на всём универсуме, нужно, чтобы она была верна и в пределах А, и за пределами А
X
У тебя формула
X
X
рассмотри по отдельности, как она себя ведёт в Х и за пределами Х
X
когда мы в Х, это просто ах=bx