dowód w rachunku zbiorów cookie: Dane są zbiory A, B, C. Czy w poniższych wyrażeniach można zastąpić znak ? przez inkluzję lub równość zbiorów? Udowodnić inkluzję / równość zbiorów korzystając z praw rachunku zdań albo podać kontrprzykład. A∩(A∪B) ? B

er: A∩(AUB)=(A∩A)U(A∩B)=AU(A∩B)=A

ite: zaraz Cb zwyzywają, bo miało być z praw rachunku zdań a nie zbiorów

er: w sumie racja, formalnie powinno być: x∊A∩(AUB) ⇔ x∊A ⋀ x∊(AUB) i dalej analogicznie

cookie: czyli dla B to nie zachodzi?

wredulus_pospolitus: zależy jak się ma B względem A