Logika MoNia: Mam do udowodnienia: A∩(B\C)=∅ dla dowolnych A,B i C Zaczynam od : x∊A∩(B\C) ⇔ x∊A ∧ x∊(B\C) ⇔ ...i dalej nie wiem jak rozpisać B\C x∊B∧x∉C ?

wmboczek: tak, i dalej nic z tego nie wynika − w zależności od A,B,C może to być prawda lub nie. Może zamiast C było A?

Saizou : wystarczy podać kontrprzykład np. niech A=[0,3] B=[1,7] C=[10,11] zatem B\C=B=[1,7] A∩(B\C)=[1,3]

MoNia: Już do tego doszłam Dzięki bardzo za pomoc