Zbiory - dowód zbiory: Niech A, B, C będą podzbiorami ustalonego zbioru. Udowodnić, że A∩B ⊆ C wtedy i tylko wtedy, gdy A ⊆ B^c∪C Jak się za to zabrać? Mogę prosić o wskazówki? Przez B^c mam na myśli dopełnienie B.

ite: A∩B ⊆ C oznacza, że (x∊A ∧ x∊B) ⇒ x∊C teraz wykorzystaj taką własność implikacji (p⇒q) ≡ (¬p∨q) i przekształcaj równoważnie dalej. Możesz A ⊆ B'∪C również zapisać w taki sposób i przekształcać, aż otrzymasz wyrażenie tej samej postaci.

zbiory: Okej, dziękuję