Zenbatzaile (logika)