論理演算自体、集合演算と切っても切れない関係だから、まるで違和感ないな