Mengen-, Venndiagramme, Logik