命题形式“所有S不是P”既（），也（）”。

如果“所有S不是P”这一判断形式为真，则“S与P”在外延上是()关系。 “所有的S都是P”与“有的S不是P” 若“有S不是P”为真，则“所有非P不是S”为（）。 若已知命题形式“p→（q→（r→s））”为假，则可知（ ）。 “所有的P都是M；所有的S都不是M；所以，所有的S都不是P。”这一三段论是（） 有些S是M，所有P不是M “所有P都是M;有的S不是M;所以，有的s不是P。”这一三段论是 ( ) “所有P都是M；有的S不是M；所以，有的S不是P。”这一三段论是（）。 若“所有P是S”与“有的S不是P”均真，则S与P之间的外延关系是（）。 “有些S是M，所有P不是M，所以有些S不是P”这个三段论是（）. 在三段论推理“所有P都是M；有的S不是M；所以，有的S不是P”中（）。 若“所有P是S”与“有的S不是P”均假，则S与P之间的外延关系是（）关系 “所有S都是P”与“有些S不是P”这两个逻辑公式中，它们( ) “有些S不是P”与“所有的S都是P”这两个逻辑公式中，它们( ) “凡S是P”这一命题形式中的逻辑常项是（）、变项是（）。 命题形式～（p→（q←r））等值于（） 下列判断具有“有的S不是P”这种形式的是()。 用欧拉图表示性质命题的主项（S）和谓项（P）的关系。已知“所有S都是P”为假，请用欧拉图表示S和P之间的各种关系，并举出实例。 全称肯定判断，简称（），其逻辑形式为：所有S是P。 用欧拉图表示性质命题的主项（S）和谓项（P）的关系。已知“有S不是P”为假，请用欧拉图表示S和P之间的各种关系，并举出实例。