特称否定判断的逻辑形式是：某个S不是P。

一个有效的三段论的大前提是特称否定判断，请写出该三段论的推理形式，并说明推导过程。

简答题查看答案

“所有S不是P。”这个命题形式的逻辑常项是（）。逻辑变项是（）。

填空题查看答案

性质判断包括如下种类：全称肯定判断、全称否定判断、特称肯定判断、特称否定判断、单称肯定判断和单称否定判断。

判断题查看答案

一个正确三段论的小前提是特称否定判断，则该三段论的格与式为（）。

单选题查看答案

运用反证法证明：“以否定判断为前提，以特称判断为大前提不能推出结论。”

简答题查看答案

已知P与M是全同关系，又知有S不是M为真，则下列为真的判断是（）。

单选题查看答案

“没有贪污罪不是故意犯罪的”这一判断的逻辑形式为（）。

单选题查看答案

指出下列判断的种类，并写出其逻辑形式。 1、如果不及时出发，就不能赶上火车了。 2、有的金属不是固体。

简答题查看答案

在三段论中，如果两个前提中有一个是特称的，那么，其结论（），如果两个前提中有一个是否定的，那么，其结论（）。

填空题查看答案