此外，你将学会有关限定词以及包含限定词的分类命题和推断的一些基本事实。
Furthermore you will learn some of the basic facts about quantifiers, and categorical propositions and inferences involving quantifiers.
命题及命题形式的分类是一个相当复杂的问题。
The proposition and classification of propositional forms are a very complicated problem.
命题及命题形式的分类是一个相当复杂的问题。
The proposition and classification of propositional forms are a very complicated problem.
应用推荐