udowodnij ze Anja: (A⊂B) ⇔ (B' ⊂ A ')

Jack: rozpisz implikację w obie strony. następnie załóż poprzednik implikacji (wystarczy skorzystac z prawa (p→q) ⇔ (¬q→¬p) )