【单选题】【消耗次数：1】
自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): 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<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />z(F(f(x,y),z)”的真值：
①
0
②
1
③
2
④
不确定
参考答案：
复制
纠错
相关题目
【单选题】
自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): 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(f(x,a),y) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />F(f(y,a),x))”的真值：
①
0
②
1
③
2
④
不确定
【单选题】
公式“<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))
【单选题】
实数集合里，a =0，f (x,y)=x-y，F(x,y): x=y， G(x,y): xy。公式“<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(G(f(x,y),a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />F(x,y))”的真值：
①
0
②
1
③
2
④
不确定
【单选题】
实数集合里，a =0，f (x,y)=x-y，F(x,y): x=y， G(x,y): xy。公式“<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(f(x,y),a) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />G(x,y))”的真值：
①
0
②
1
③
2
④
不确定
【单选题】
实数集合里，F(x,y): x=y， G(x,y): xy。公式“<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(G(x,y) <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/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />F(x,y))”的真值：
①
0
②
1
③
2
④
不确定
【单选题】
实数集合里，a =0，f (x,y)=x-y，F(x,y): x=y， G(x,y): xy。公式“<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(G(x,y) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/B5623C6CA0B3BB6B271B0E5C6AD15321.png data-tex=\mapsto \neg />F(f(x,y),a))”的真值：
①
0
②
1
③
2
④
不确定
【单选题】
自然数里，a=2，f (x,y)=x+y，g (x,y)=x·y，F (x,y): x=y。公式“<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />xF(g(x,a),x)”的真值：
①
0
②
1
③
2
④
不确定
【单选题】
公式“<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)
【单选题】
设个体域 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 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, y)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> F(y, x))”的类型：
①
重言式
②
矛盾式
③
可满足式
④
无法确定
随机题目
【单选题】
<img title=32-C.jpg alt=32-C.jpg src=https://huaweicloudobs.ahjxjy.cn/B55849980E06CC56AC9155CC04211499.jpg/>
①
<img title=32-1.jpg alt=32-1.jpg src=https://huaweicloudobs.ahjxjy.cn/BC220995B21E477E64BF8229CC845C6B.jpg/>
②
<img title=32-2.jpg alt=32-2.jpg src=https://huaweicloudobs.ahjxjy.cn/3D4209D0697AB626441491D14F5C0CBD.jpg/>
③
<img title=32-3.jpg alt=32-3.jpg src=https://huaweicloudobs.ahjxjy.cn/FFFA99B9C1877F5B684F546B6C74E0F7.jpg/>
④
<img title=32-4.jpg alt=32-4.jpg src=https://huaweicloudobs.ahjxjy.cn/E7D9FA95C3875A3F5D2C0273579D82BB.jpg/>
【单选题】
<img title=29-B.jpg alt=29-B.jpg src=https://huaweicloudobs.ahjxjy.cn/29B2CA242AAE6A595ED82DE63B9D8B72.jpg/>
①
<img title=29-1.jpg alt=29-1.jpg src=https://huaweicloudobs.ahjxjy.cn/3E47DD3E228C1C055B6222082281F180.jpg/>
②
<img title=29-2.jpg alt=29-2.jpg src=https://huaweicloudobs.ahjxjy.cn/C13912B74E7CCAD04F3EB59F250F525D.jpg/>
③
<img title=29-3.jpg alt=29-3.jpg src=https://huaweicloudobs.ahjxjy.cn/C866D22F6BADFD878F292992F66B1178.jpg/>
④
<img title=29-4.jpg alt=29-4.jpg src=https://huaweicloudobs.ahjxjy.cn/8D2B2B651CD766404D2C1A359F416759.jpg/>
【单选题】
<img title=17-C.jpg alt=17-C.jpg src=https://huaweicloudobs.ahjxjy.cn/82A2D164BC165BB1DACA1AF71FFD9204.jpg/>
①
<img title=17-1.jpg alt=17-1.jpg src=https://huaweicloudobs.ahjxjy.cn/062F6748C7205D5F6750BDB51DD8944D.jpg/>
②
<img title=17-2.jpg alt=17-2.jpg src=https://huaweicloudobs.ahjxjy.cn/FB9FFF4145C1276004DAEB5A5F5F3367.jpg/>
③
<img title=17-3.jpg alt=17-3.jpg src=https://huaweicloudobs.ahjxjy.cn/F891F52BD36C51F15D44A9E3BBA78F93.jpg/>
④
<img title=17-4.jpg alt=17-4.jpg src=https://huaweicloudobs.ahjxjy.cn/283B3C30E7163D9553963B09838D9817.jpg/>
【单选题】
<img title=36-B.jpg alt=36-B.jpg src=https://huaweicloudobs.ahjxjy.cn/E348C1CD88858B30FCD157119D5CA60D.jpg/>
①
<img title=36-1.jpg alt=36-1.jpg src=https://huaweicloudobs.ahjxjy.cn/D9D5D1BBDA6D798153F9DB6AA9687808.jpg/>
②
<img title=36-2.jpg alt=36-2.jpg src=https://huaweicloudobs.ahjxjy.cn/2F89CF049ADF3737C390CEF3D228B83D.jpg/>
③
<img title=36-3.jpg alt=36-3.jpg src=https://huaweicloudobs.ahjxjy.cn/85B59C715CE6B469A4495FE215DFE2F0.jpg/>
④
<img title=36-4.jpg alt=36-4.jpg src=https://huaweicloudobs.ahjxjy.cn/9EA747EE7DA36D17DA09B52A181C58ED.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/82B9FEF71BE79A52EB0A8AA02C1F5DEE.png title=22.png alt=22.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/8296735038429758E4A360C14EF790AB.png title=22-1.png alt=22-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/ECAF9EE6EA4566476752FB87F979981D.png title=22-2.png alt=22-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/B5B2EC3E9B876BD8B544EB40526286CA.png title=22-3.png alt=22-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/FAF67D04340EECB39719A1DE8729B2F5.png title=22-4.png alt=22-4.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/AA0A686204E60143E415F8A964E0F9D9.png title=12.png alt=12.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/75F07625D368D8C9B055640E18A13831.png title=12-1.png alt=12-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/CDE4DE4C10CFC2086D529DF65B0B27F0.png title=12-2.png alt=12-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/6F6C843C7D56F7510DDBE6305EE6460A.png title=12-3.png alt=12-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/64E1895427A3D4F2C1A3E7ACCA604B7C.png title=12-4.png alt=12-4.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/DC329561677BFDCAD97FAC2BD5F0EBEF.png title=17.png alt=17.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/D98BD36836511DD6579D8CE77C061F7B.png title=17-1.png alt=17-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/91FF51F95980D904DF90E9ADE91FA881.png title=17-2.png alt=17-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/4C8711F77125F159B94E2AA870689955.png title=17-3.png alt=17-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/1A172C81C4BF5711FDCD430CE2E06778.png title=17-4.png alt=17-4.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/E5C58D1ACC73CE2F83F340AAD44FB40B.png title=20.png alt=20.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/C4E31F4043715E4B10DE00D695FDDDED.png title=20-1.png alt=20-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/0C0B4EBE9D7920424E026529A6CE4FEE.png title=20-2.png alt=20-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/DDF5D2EBDFFD6F66DAB4ABEC91E1B793.png title=20-3.png alt=20-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/BC94B42540447949AB58ACEB15464BAF.png title=20-4.png alt=20-4.png/>
【单选题】
<img title=15-A.jpg alt=15-A.jpg src=https://huaweicloudobs.ahjxjy.cn/05BAF3D839BCB8924AAA970471D89A64.jpg/>
①
<img title=15-1.jpg alt=15-1.jpg src=https://huaweicloudobs.ahjxjy.cn/488EA773FA96E7C571477D46E86ABA00.jpg/>
②
<img title=15-2.jpg alt=15-2.jpg src=https://huaweicloudobs.ahjxjy.cn/B5AD90B9F2869CDCC6B19A61A9F28AB0.jpg/>
③
<img title=15-3.jpg alt=15-3.jpg src=https://huaweicloudobs.ahjxjy.cn/D4C931CA0EDE0BD8DAB67B8CB3FA9154.jpg/>
④
<img title=15-4.jpg alt=15-4.jpg src=https://huaweicloudobs.ahjxjy.cn/6C081AB87E3FDAB4ABC8E49D9DBDC508.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/5D4CBB356F877148D6449048522A2185.png title=4.png alt=4.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/A2DABF38F3AF3B36DBF025AA23F4F807.png title=4-1.png alt=4-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/088A007A927A0EC33B29E097EFD64EE3.png title=4-2.png alt=4-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/83769A66D5DA963CFC6AF9985C6276EA.png title=4-3.png alt=4-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/D208CC045685F7F275B258045772D36E.png title=4-4.png alt=4-4.png/>