Dzialania na zbiorach Oliwka: wstawić ⇒ lub <= lub ⇔ w miejsce −−−−−−− . ( A∩C )⊂B −−−−− (B=∅ ⇒ A∩C=∅)

Adamm: na pewno w prawo wynika ale jeśli np. B={1} (zdanie po prawej jest prawdziwe), to wcale nie musi być tak że A∩C⊂B więc wynika TYLKO w prawo