zbiory yyy: wykaz że jeśli A,B są zbiorami to jeśli A∩B=A to A⊂B Prosze o pomoc przeprowadzenia dowodu

aga116: A∩B=A⇒A⊂B A⊂B⇔∀x: x∊A⇒x∊B A∩B⇔{x: x∊A∧x∊B} [(x∊A∧x∊B)⇔x∊A]⇒[x∊A⇒x∊B] sproboj udowodnic taki lemat: x∊A=p x∊B=q [(p∧q)⇔p]⇒[p⇒q]

yyy: dziekuję