【数学逻辑用语】对于“全是”的否定是“全不是”还是“不全是”?