下列判断具有“有的S不是P”这种形式的是()。

“所有S都是P”与“有S不是P”这两个逻辑形式，它们( ) “有些S是P”和“所有S不是P”这两个命题形式( ) “有些S是P”和“所有S不是P”这两个命题形式 “并非有的S不是P”这一判断的等值判断是（） 试例示具有下列命题形式和推理形式的命题或推理. 1．所有S都不是P。 2．要么r，要么s。 3．如果p，那么q；非q；所以非p。 4．所有M都是P，S都是M，所以S都是P。 已知P与M是全同关系，又知有S不是M为真，则下列为真的判断是（）。 “没有一个S不是P”，这个判断属于性质判断中（）判断。 全称肯定判断，简称（），其逻辑形式为：所有S是P。 命题形式“所有S不是P”既（），也（）”。 “有的S是P”与“有的S不是P”这两个判断之间，存在着（）和（）的关系 若“有S是P”为真，则。“有S不是P”取值为假。 若“有S不是P”为真，则“有非P是S”取值为（） 若“有S不是P”为真，则“所有非P不是S”为（）。 绘图题：用欧拉图表示满足下列条件的S与P可能具有的关系。已知：（A）.M与P全异；（B）.“有S不是M”为假。 “所有S不是P。”这个命题形式的逻辑常项是（）。逻辑变项是（） “所有S是P”与“没有S是P”之间具有 断定“这个S是P”与“这个S不是P”同真，则（） 当p假q假时，下列判断形式为真的是（） 由“S必然是P”为真，可以推知“S可能是P”为（），“S可能不是P”为（）。 若“所有P是S”与“有的S不是P”均真，则S与P之间的外延关系是（）。