luó ji / kè shàng / wǒ men / xué xí le / xìng zhì mìng tí / de / sì zhǒng / xíng shì

逻辑课上我们学习了性质命题的四种形式。

In logic class we learned the four forms of categorical propositions.