Operacja (logika)