(?´∨`p[P.の凸]q