若“有S不是P”为真，则“所有非P不是S”为（）。

若“所有P是S”与“有的S不是P”均假，则S与P之间的外延关系是（）关系 由“S必然是P”为真，可以推知“S可能是P”为（），“S可能不是P”为（）。 “有些S是P”和“所有S不是P”这两个命题形式 “有些S是P”和“所有S不是P”这两个命题形式( ) “所有P都是M;有的S不是M;所以，有的s不是P。”这一三段论是 ( ) “所有P都是M；有的S不是M；所以，有的S不是P。”这一三段论是（）。 命题形式“所有S不是P”既（），也（）”。 有些S是M，所有P不是M “有些S是M，所有P不是M，所以有些S不是P”这个三段论是（）. 在三段论推理“所有P都是M；有的S不是M；所以，有的S不是P”中（）。 “所有S是P”和“有些S不是P”这两个判断形式，它们（） “所有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可能具有的关系。已知：（A）.“所有M不是P”为真；（B）.“M真包含S”