xìng​zhì​mìng​tí

categorical proposition