【判断题】【消耗次数：1】
<img src=https://huaweicloudobs.ahjxjy.cn/7AC718742D2E759C5B6BE0F05959AAC5.png title=19.png alt=19.png/>
①
正确
②
错误
参考答案：
复制
纠错
相关题目
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/62F7D0C8F5F6E07FFCA0AAD9C80517C4.png title=19.png alt=19.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/C072AA8ADF47E360C9C722853FDE48A1.png title=19-1.png alt=19-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/602DE428CB8A6819C1D9694AF646EFF2.png title=19-2.png alt=19-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/1E4FFFEF27D9F12D70A8F5280A09311B.png title=19-3.png alt=19-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/302E087B7141F67E8717A778BCBC4AF7.png title=19-4.png alt=19-4.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/877E778C719C2F60848BEC62F42EAA6B.png title=19.png alt=19.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/D5B728262B8AA9EF540AF06D0CFD548B.png title=19-1.png alt=19-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/2DF14973BA976C30000C52C32E3A66F8.png title=19-2.png alt=19-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/71F01ED604F19527DAE6D7CED669862A.png title=19-3.png alt=19-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/3E2D28460C376271D42543BD7A81561C.png title=19-4.png alt=19-4.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/701B16334D0D586F2FB4B69F31421E05.png title=19.png alt=19.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/4BDE538229224931C1CE2FB30278AF6E.png title=19-1.png alt=19-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/C8A9E39292497F93B51B9400062BEAA4.png title=19-2.png alt=19-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/C63CFE08959C8DB6547FD806ABB466A7.png title=19-3.png alt=19-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/E886261ACB2BF968C361D96D42C593AE.png title=19-4.png alt=19-4.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/985AF9E98C0078CCC2D706B19DC2D18F.png title=19.png alt=19.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/C11E648798C54CBBC74499229664D1E7.png title=19-1.png alt=19-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/3CB059396A187A68CC31080634472AFB.png title=19-2.png alt=19-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/0A7BF4A94B34798729DBC59B5ABFDC2F.png title=19-3.png alt=19-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/99F8A5BAC58DB214112CE258EE0906F3.png title=19-4.png alt=19-4.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/67E957B28B6D0C21E23ED4D6C695C822.png title=19.png alt=19.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/18A029D6672FE38DF8FEC6E0DF1BEF58.png title=19-1.png alt=19-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/09A685767A14F59656574C732D6EBB31.png title=19-2.png alt=19-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/005670D10FAFA5CAB552328EA702BBB2.png title=19-3.png alt=19-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/2194E6D50223EC187088743EAF1873B7.png title=19-4.png alt=19-4.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/E5E0557FE20BC049A76B27EC2847D6B3.png title=19.png alt=19.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/13414AC69416358BE698FD98B2BCDBBB.png title=19-1.png alt=19-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/85BE7F6C962B653A2EE465F4511C74BE.png title=19-2.png alt=19-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/2D6049095D4C06F4367908A321823614.png title=19-3.png alt=19-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/710370DD5F7CBBF2345D5517B05B9F1D.png title=19-4.png alt=19-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/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/F3D50B025E0282F3DB9683F83D053B2C.png title=19.png alt=19.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/9C73DA1070F1D51FFD585F492DCE1628.png title=19-1.png alt=19-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/61906AA8E7472614D48AF9DA33820F15.png title=19-2.png alt=19-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/2D9FBB6535E02CB139D4F9A1868CDA95.png title=19-3.png alt=19-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/9D3F6E116F50C62A56B5F6471880C283.png title=19-4.png alt=19-4.png/>
【判断题】
<img src=https://huaweicloudobs.ahjxjy.cn/E833C4F7F27C3C474F5AD2D4D1579DCC.png title=19.png alt=19.png/>
①
正确
②
错误
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/125B3141AFA5088CDF07D34AAA0151C6.png title=19.png alt=19.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/15F19BE179B3CF115AC72EC6AF0A3E71.png title=19-1.png alt=19-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/5F9CD5A31A9D3DC4581B80FE3BB65CF2.png title=19-2.png alt=19-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/EFD44D25EB60F6A6491DA8D55AE9271B.png title=19-3.png alt=19-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/01536F530E001E8AAB7C921DA8585979.png title=19-4.png alt=19-4.png/>
随机题目
【单选题】
将命题“小王学过英语和法语”用0 元谓词符号化不合适的是：
①
令 F(x): x 学过英语; G(x): x 学过法语; a: 小王. 符号化为F(a)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(a)
②
令 F(x): 小王学过x; a: 英语; b: 法语. 符号化为F(a)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(b)
③
令 L(x, y): x 学过 y; a: 小王; b1: 英语; b2: 法语. 则符号化为L(a, b1)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />L(a, b2).
④
令 P: 小王学过英语; Q: 小王学过法语. 符号化为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/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))
【单选题】
自然数里，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/117E6A630A0200497B87D15B90307923.png data-tex=\exists />xF(f(x,x),g(x,x))”的真值：
①
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
④
不确定
【单选题】
在全总个体域下，用一阶逻辑将命题“在北京卖菜的人不全是外地人”符号化为
①
<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/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(G(x)),其中, G(x): 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/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(F(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/C47BA91D041B9993385A15CF7AD89779.png data-tex=\wedge \neg />G(x)), 其中, F(x): x 在北京卖菜, G(x): 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/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(x)), 其中, F(x): x 在北京卖菜, G(x): 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/B5623C6CA0B3BB6B271B0E5C6AD15321.png data-tex=\mapsto \neg />G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人.
【单选题】
设个体域 D={0,1}, 谓词F(x):x0, G(x):x1。命题“<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 />G(x))”的真值：
①
0
②
1
③
2
④
不确定
【单选题】
设 F(x):x 为有理数, R(x):x 为实数, G(x):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/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />R(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 />G(x))，则下面不是其有效结论的是：
①
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x(R(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />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 />xR(x)
④
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />xG(x)
【单选题】
自然数里，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 />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))
【单选题】
设个体域 D={3,4}，f (3)=4, f (4)=3，F(3,3)=F(4,4)=0, F(3,4)=?F(4,3)=1。则命题“<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(f(x),f(y)))”的真值：
①
0
②
1
③
2
④
不确定