zhí​yán​mìng​tí

categorical proposition