若“有S不是P”为真，则“有非P是S”取值为（）

若有下面的程序段： char s[]="china";char *p; p=s; 则下列叙述正确的是（ ）。 “所有的S都是P”与“有的S不是P” 若“所有P是S”与“有的S不是P”均假，则S与P之间的外延关系是（）关系 当SAP取值假而SIP取值真时，概念S与P概念外延之间的关系是（）关系，或者（）关系。 当SAP取值假而SIP取值真时，概念S与P概念外延之间的关系是（）关系，或者（）关系 试例示具有下列命题形式和推理形式的命题或推理. 1．所有S都不是P。 2．要么r，要么s。 3．如果p，那么q；非q；所以非p。 4．所有M都是P，S都是M，所以S都是P。 设样本空间为S，若P（A）=1,则有A=S（） “有些S是P”和“所有S不是P”这两个命题形式( ) “有些S是P”和“所有S不是P”这两个命题形式 若要使“只有P，才非q”与“非P并且q”均真，那么P与q的取值情况是P为（），q为（）。 “所有S是P”和“有些S不是P”这两个判断形式，它们（） “所有S不是P”和“有些S是P”这两个判断形式，它们（） “所有S不是P”和“有些S是P”这两个判断形式,它们 “所有S是P”和“有些S不是P”这两个判断形式，它们 若p∧q取值为真，p∨q取值为（），则p→q取值为（）。 “所有P都是M;有的S不是M;所以，有的s不是P。”这一三段论是 ( ) “所有P都是M；有的S不是M；所以，有的S不是P。”这一三段论是（）。 “有些S是M，所有P不是M，所以有些S不是P”这个三段论是（）. 已知文法G[S]：S→P|S+P|S-P，P→Q|P*Q|P/Q，Q→(S)|a，该文法的终结符号集合VT是()。 下面程序段的输出结果是 【6】 。 p = 0 s = 0 Do p = p + 2 s = s + p Loop While p＜11 Print “s=”; s