【判断题】【消耗次数:1】
<img class=jc-formula data-tex=AB\bar { C } src=https://huaweicloudobs.ahjxjy.cn/7AFCB5E4F0D721D287516BB53D312637.png style=vertical-align: middle;/>表示A与B发生,而C不发生。
正确
错误
参考答案:
复制
纠错
相关题目
【单选题】 令前提: <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />xF(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />y((F(y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee /> G(y))<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> R(y)), <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />xF(x),则下面不是其有效结论的是:
①  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />xR(x)
②  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />y((F(y) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee /> G(y))<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> R(y))
③  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee /> G(x))
④  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee /> G(x))
【单选题】 设个体域 D={a,b,c}, 消去谓词“<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />y(F(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee />G(y))”中的量词后的形式为:
①  (F(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(b)) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(c))<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> (G(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee />G(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee />G(c));
②  (F(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(c))<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee /> (G(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(c))
③  (F(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(c))<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> (G(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(c));
④  (F(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(c))<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> (G(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(c)).
【单选题】 当<img class=jc-formula data-tex=x\rightarrow { 0 }^{ + } src=https://huaweicloudobs.ahjxjy.cn/E2D9AA2CC7EB16C7E54E907F5BCFAF0A.png style=vertical-align: middle;/>时,与<img class=jc-formula data-tex=\sqrt { x } src=https://huaweicloudobs.ahjxjy.cn/73DED5C5DE4D23317071AB7F0544117D.png style=vertical-align: middle;/>等价的无穷小量是()
①  <img class=jc-formula data-tex=1-{ e }^{ \sqrt { x } } src=https://huaweicloudobs.ahjxjy.cn/A4E533ADE66EF655BE5212EF3ED1E632.png style=vertical-align: middle;/>
②  <img class=jc-formula data-tex=\sqrt { 1+x } -1 src=https://huaweicloudobs.ahjxjy.cn/123D3B598ED0476E1BD7C6C510AA6C9F.png style=vertical-align: middle;/>
③  <img class=jc-formula data-tex=1-\cos { \sqrt { x } } src=https://huaweicloudobs.ahjxjy.cn/3F68AC6E57534CFBC43544CFACCFD1BA.png style=vertical-align: middle;/>
④  <img class=jc-formula data-tex=\ln { (1+\sqrt { x } ) } src=https://huaweicloudobs.ahjxjy.cn/1CAD5DD11658A869F09ED3A837557C9C.png style=vertical-align: middle;/>
【单选题】 公式“(p<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />q) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee /> (<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />p<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee />r)”的主合取范式为:
①  M0.
②  M4
③  M6
④  M0<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />M4<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />M6.
【单选题】 令前提: <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> (G(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />R(x))), <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />xF(x),则下面不是其有效结论的是:
①  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x(F(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />R(x))
②  G(a)
③  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />xR(x)
④  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />xR(x)
【单选题】 令前提: <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(F(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee />G(x)), <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />xG(x),则下面不是其有效结论的是:
①  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />xF(x)
②  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg /> G(x)
③  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />xF(x)
④  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee /> G(x))
【单选题】 设个体域 D={a,b,c}, 消去谓词“<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />xF(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />yG(y)”中的量词后的形式为:
①  (F(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(b)) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(c))<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> (G(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee />G(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee />G(c));
②  (F(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(c))<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee /> (G(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(c))
③  (F(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(c))<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> (G(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(c))
④  (F(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(c))<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> (G(a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(b) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(c))
【单选题】 用等值演算法推导公式“(p<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />q)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee /> (q<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />p)”和下面哪个公式不等价:
①  (p<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee />q) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg /> (p<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />q)
②  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg /> (p<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/929202E378A4D342B21977DCDA32FBDA.png data-tex=\leftrightarrow />q)
③  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg /> ((p<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />q)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> (q<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />p))
④  (p<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee />q) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> (<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />p<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />q)
【单选题】 公式“<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />xF(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />yG(x, y)”的前束范式为:
①  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />y(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> G(x, y))
②  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />y(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> G(x, y))
③  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />y <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x (F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> G(x, y))
④  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(F(x)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> G(x, y))
【单选题】 公式“<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(F(x, y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> G(y, z)) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/7BA9C8923F2F9C5684519175C6A722C4.png data-tex=\vee /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />xH(x, y, z)”中的全称量词x的辖域为:
①  <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(F(x, y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> G(y, z))
②  F(x, y)
③  H(x, y, z)
④  F(x, y) 和H(x, y, z)
随机题目
【单选题】 <img src=https://huaweicloudobs.ahjxjy.cn/09CEB4ACFCA58ACCA04CB5937AAC805F.png title=11.png alt=11.png/>
①  <img src=https://huaweicloudobs.ahjxjy.cn/5C5B11689E43E9546E1DDAA7E5E63BFF.png title=11-1.png alt=11-1.png/>
②  <img src=https://huaweicloudobs.ahjxjy.cn/EB58B769CECD50DA3F42DB082CCBFC52.png title=11-2.png alt=11-2.png/>
③  <img src=https://huaweicloudobs.ahjxjy.cn/9494315D968503967B260B307DCAE24C.png title=11-3.png alt=11-3.png/>
④  <img src=https://huaweicloudobs.ahjxjy.cn/FAC94EDFEE3816AEF9BE97099313E805.png title=11-4.png alt=11-4.png/>
【单选题】 <img src=https://huaweicloudobs.ahjxjy.cn/0B50D8A21EC45CBF0306B6209A86BEDF.png title=15.png alt=15.png/>
①  <img src=https://huaweicloudobs.ahjxjy.cn/32E4B0EEC43470901C7BC1AAD4BDA50C.png title=15-1.png alt=15-1.png/>
②  <img src=https://huaweicloudobs.ahjxjy.cn/F52C0D2D0E49B4C308FC26F8FFBFB47F.png title=15-2.png alt=15-2.png/>
③  <img src=https://huaweicloudobs.ahjxjy.cn/CD1124B4125986153B28B39EB21735B7.png title=15-3.png alt=15-3.png/>
④  <img src=https://huaweicloudobs.ahjxjy.cn/2005F9CAF59CA2F13D79E6199CFD23DB.png title=15-4.png alt=15-4.png/>
【单选题】 <img src=https://huaweicloudobs.ahjxjy.cn/F9870941F176D09F73D5E74C1D79952B.png title=10.png alt=10.png/>
①  <img src=https://huaweicloudobs.ahjxjy.cn/6F30335FEB29073B9897208085365C1C.png title=10-1.png alt=10-1.png/>
②  <img src=https://huaweicloudobs.ahjxjy.cn/3ADD7B4764D7D9E623348552CED2A689.png title=10-2.png alt=10-2.png/>
③  <img src=https://huaweicloudobs.ahjxjy.cn/7A15D5747FE9385F17D2FAFB390AA203.png title=10-3.png alt=10-3.png/>
④  <img src=https://huaweicloudobs.ahjxjy.cn/BAA9B42575637AE6FAB4ED803F189A85.png title=10-4.png alt=10-4.png/>
【单选题】 <img src=https://huaweicloudobs.ahjxjy.cn/6D224985439369ED42924A0BC618DE78.png title=25.png alt=25.png/>
①  <img src=https://huaweicloudobs.ahjxjy.cn/609EE1E217CD042C90F8D0C9178937B4.png title=25-1.png alt=25-1.png/>
②  <img src=https://huaweicloudobs.ahjxjy.cn/7CB044B0CDAC097C8D15A4A42F4A9F20.png title=25-2.png alt=25-2.png/>
③  <img src=https://huaweicloudobs.ahjxjy.cn/C7AFF921F0F8DBB97489B01E40167309.png title=25-3.png alt=25-3.png/>
④  <img src=https://huaweicloudobs.ahjxjy.cn/69A65A526D6FC7EFCEAAA8AD9FC72D93.png title=25-4.png alt=25-4.png/>
【单选题】 <img src=https://huaweicloudobs.ahjxjy.cn/E05A19E55338BFD1E0DBB157D0A1121B.png title=14.png alt=14.png/>
①  <img src=https://huaweicloudobs.ahjxjy.cn/7E620BD75C8D8E6B71A1CDBE81B57526.png title=14-1.png alt=14-1.png/>
②  <img src=https://huaweicloudobs.ahjxjy.cn/2A393A72411521B0814596DABAD2B0A4.png title=14-2.png alt=14-2.png/>
③  <img src=https://huaweicloudobs.ahjxjy.cn/E21E58417DFCD2ABDA9F6A7B3B44A325.png title=14-3.png alt=14-3.png/>
④  <img src=https://huaweicloudobs.ahjxjy.cn/EA07B350E9FB86830D9303E3AADDDBBE.png title=14-4.png alt=14-4.png/>
【单选题】 <img src=https://huaweicloudobs.ahjxjy.cn/D851E8AC8FB8BEB7372B51EC15C37D63.png title=23.png alt=23.png/>
①  <img src=https://huaweicloudobs.ahjxjy.cn/CF9CECEF3EAE6643C744898C8FDE0F2A.png title=23-1.png alt=23-1.png/>
②  <img src=https://huaweicloudobs.ahjxjy.cn/7A9901208F24461B53BCBC8C91F919C0.png title=23-2.png alt=23-2.png/>
③  <img src=https://huaweicloudobs.ahjxjy.cn/8B125B7B7F3C796D11FFD70B60DC5006.png title=23-3.png alt=23-3.png/>
④  <img src=https://huaweicloudobs.ahjxjy.cn/E643FBF2842103544B08334EEAA7C23D.png title=23-4.png alt=23-4.png/>
【单选题】 <img src=https://huaweicloudobs.ahjxjy.cn/9E3609CA039CFC758553024B67BCB609.png title=22.png alt=22.png/>
①  <img src=https://huaweicloudobs.ahjxjy.cn/7C18E76B88EB43D550E466A73100CDCE.png title=22-1.png alt=22-1.png/>
②  <img src=https://huaweicloudobs.ahjxjy.cn/564175F8BAD92A8492593F45C6EC8081.png title=22-2.png alt=22-2.png/>
③  <img src=https://huaweicloudobs.ahjxjy.cn/B0FD55E34D8F5D2F5BDB321171C1DBD2.png title=22-3.png alt=22-3.png/>
④  <img src=https://huaweicloudobs.ahjxjy.cn/ECA13AF1CC3FE2185EF7FA8FA50524CE.png title=22-4.png alt=22-4.png/>
【单选题】 <img src=https://huaweicloudobs.ahjxjy.cn/FC227315F6731FDA1C93B49214AAA988.png title=24.png alt=24.png/>
①  <img src=https://huaweicloudobs.ahjxjy.cn/99C77FD86E16516C11AC3A6018ED527A.png title=24-1.png alt=24-1.png/>
②  <img src=https://huaweicloudobs.ahjxjy.cn/D7DF6BB8B0C8D444F9D1E710357A882C.png title=24-2.png alt=24-2.png/>
③  <img src=https://huaweicloudobs.ahjxjy.cn/3055B34D9560F6EFB571B7016E4A459A.png title=24-3.png alt=24-3.png/>
④  <img src=https://huaweicloudobs.ahjxjy.cn/F9026C5B054E1835655FB11A5F619534.png title=24-4.png alt=24-4.png/>
【单选题】 <img src=https://huaweicloudobs.ahjxjy.cn/9CAA592C7A9D60CE19B6DE72ACABB151.png title=7.png alt=7.png/>
①  <img src=https://huaweicloudobs.ahjxjy.cn/573F924568D44A25398B5241044354B5.png title=7-1.png alt=7-1.png/>
②  <img src=https://huaweicloudobs.ahjxjy.cn/54D1F85BB65C95C7CD859EC708B929AE.png title=7-2.png alt=7-2.png/>
③  <img src=https://huaweicloudobs.ahjxjy.cn/105412ADE99ED4805D823B347FE19FA6.png title=7-3.png alt=7-3.png/>
④  <img src=https://huaweicloudobs.ahjxjy.cn/41B3CDC6631C19A3D6E643FCE4C8E4A2.png title=7-4.png alt=7-4.png/>
【单选题】 <img src=https://huaweicloudobs.ahjxjy.cn/CA1AE7AE48676D8B71279460FC19D5A3.png title=19.png alt=19.png/>
①  <img src=https://huaweicloudobs.ahjxjy.cn/EEC976357E9F96014D0162DC19FC9264.png title=19-1.png alt=19-1.png/>
②  <img src=https://huaweicloudobs.ahjxjy.cn/B634BFFEB474B56D1C9ADF36C3C15853.png title=19-2.png alt=19-2.png/>
③  <img src=https://huaweicloudobs.ahjxjy.cn/D90864918F55D891D8AD64D170C87319.png title=19-3.png alt=19-3.png/>
④  <img src=https://huaweicloudobs.ahjxjy.cn/AEFCE1C2072154A3672331F4C6760BCE.png title=19-4.png alt=19-4.png/>