中文拼音： xing4 zhi4 ming4 ti2

中文繁体： 性質命題

英文翻译： categorical proposition (logic)