Logika in množice