13.1 全称的否定即否定的存在，存在的否定即否定的全称