zài / xíng shì / luó jí / zhōng / zhí yán mìng tí / shì / jī běn / mìng tí / lèi xíng / zhī yī

在形式逻辑中，直言命题是基本命题类型之一。

In formal logic, categorical propositions are one of the basic types of propositions.