there is a direct correspondence between arithmetic on iverson brackets logic and set operations amafaranga ateganyijwe gukoreshwa mu ngengo y'imari ni menshi ndayishimira ko yemeye kunkoresha umurimo w'ubwami bwayo