全称量词的属性谓词后面一定跟着条件联结词。

翻译“有些人是农民”这句话，需要用到存在量词（x）。

判断题翻译“有些人是农民”这句话，需要用到存在量词（x）。

（x）被称为全称量词，用于表达有一些x。

判断题（x）被称为全称量词，用于表达有一些x。

推理规则为P ，P→Q =>P 被称为假言推论规则。

判断题推理规则为P ，P→Q =>P 被称为假言推论规则。