【单选题】【消耗次数：1】
<img src=https://huaweicloudobs.ahjxjy.cn/8414AD9EB96116C265FD10CF3D5561C7.jpg title=21-B.jpg alt=21-B.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/84A442389A1C58C600A53F31DB149287.jpg title=21-1.jpg alt=21-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/552EB8179D26AACC35F3763A82009776.jpg title=21-2.jpg alt=21-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/6AB3B63932AB0678D87C4C36ACB4B1AD.jpg title=21-3.jpg alt=21-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/5B19A8B638C94D66919CE89A61B023D3.jpg title=21-4.jpg alt=21-4.jpg/>
参考答案：
复制
纠错
相关题目
【单选题】
<img title=21-D.jpg alt=21-D.jpg src=https://huaweicloudobs.ahjxjy.cn/D66EE3D16F156379CAF612B5FA4B8F5C.jpg/>
①
<img title=21-1.jpg alt=21-1.jpg src=https://huaweicloudobs.ahjxjy.cn/ACEECD9A1FD2B19B378145362F593374.jpg/>
②
<img title=21-2.jpg alt=21-2.jpg src=https://huaweicloudobs.ahjxjy.cn/C437CE3B3CB2F81B3B4F025019B31D16.jpg/>
③
<img title=21-3.jpg alt=21-3.jpg src=https://huaweicloudobs.ahjxjy.cn/2FE3FC6FD87432BEB69C1F879DABE096.jpg/>
④
<img title=21-4.jpg alt=21-4.jpg src=https://huaweicloudobs.ahjxjy.cn/8459DFD83CAA36042EDB54911A1EF848.jpg/>
【单选题】
<img title=21-A.jpg alt=21-A.jpg src=https://huaweicloudobs.ahjxjy.cn/FB0C2D70B52A8005ACA3690BFDC4FED1.jpg/>
①
<img title=21-1.jpg alt=21-1.jpg src=https://huaweicloudobs.ahjxjy.cn/6CA12A806196742480A71ECEAA67F6EA.jpg/>
②
<img title=21-2.jpg alt=21-2.jpg src=https://huaweicloudobs.ahjxjy.cn/460723FB5D83341BEFAEDAD6CA74E2D1.jpg/>
③
<img title=21-3.jpg alt=21-3.jpg src=https://huaweicloudobs.ahjxjy.cn/09860FF948AB634B34DF97CB0BF39998.jpg/>
④
<img title=21-4.jpg alt=21-4.jpg src=https://huaweicloudobs.ahjxjy.cn/9AE59AC3F6DE001B67ECC3D1AA5FE059.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/120D4959B264827A242A0A1C2E30E249.jpg title=21.jpg alt=21.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/DA6D3DE8051EA3262009AB3B77666705.jpg title=21-1.jpg alt=21-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/793742BFDEB2908F4A5FC99AADEF76E6.jpg title=21-2.jpg alt=21-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/7839BA433FA56B2A4B164D91C3E6AD71.jpg title=21-3.jpg alt=21-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/A758145F71A0EEC4FC7457C68587B7FD.jpg title=21-4.jpg alt=21-4.jpg/>
【单选题】
<img title=21-A.jpg alt=21-A.jpg src=https://huaweicloudobs.ahjxjy.cn/27D969BC952C4EDACF5FA041D4522152.jpg/>
①
<img title=21-1.jpg alt=21-1.jpg src=https://huaweicloudobs.ahjxjy.cn/2026B3B53D2CCC7B4C99E855EEBC1BAC.jpg/>
②
<img title=21-2.jpg alt=21-2.jpg src=https://huaweicloudobs.ahjxjy.cn/C3EC842767575D83FA6FD1341A4007E8.jpg/>
③
<img title=21-3.jpg alt=21-3.jpg src=https://huaweicloudobs.ahjxjy.cn/4BF904F66488510B448281BD00EEF62C.jpg/>
④
<img title=21-4.jpg alt=21-4.jpg src=https://huaweicloudobs.ahjxjy.cn/A3E73E682B5F8075280B78F579F66E78.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/6F21E9751517D743ADC53B4C538D1F23.jpg title=14-A.jpg alt=14-A.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/8910741CBF142F9D5F2BE16ED3FAF872.jpg title=14-1.jpg alt=14-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/8C7610FCB8AAC03143DE3E8D7AF89734.jpg title=14-2.jpg alt=14-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/6762E59594E21216289DDB3EA976F4C8.jpg title=14-3.jpg alt=14-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/ED2AAD092FF1F39A0A35736EA5EC43D4.jpg title=14-4.jpg alt=14-4.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/106656F253A8B32F9626B2BA278402AC.jpg title=21.jpg alt=21.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/83F15A7640369C4942C535367AA8D71C.jpg title=21-1.jpg alt=21-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/61CB16AC882B14A505133A4D2BB2B80F.jpg title=21-2.jpg alt=21-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/67D7196E1F72BEA7324939189E24844F.jpg title=21-3.jpg alt=21-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/67165C7C7A1F02B19060B85F926B2AE9.jpg title=21-4.jpg alt=21-4.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/9DB02A6AD21CE86B6F534F3D5339CA0C.jpg title=43-D.jpg alt=43-D.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/D83718AE661E8074BB396B794A296990.jpg title=43-1.jpg alt=43-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/D01C112AE32810058B923363F785A14F.jpg title=43-2.jpg alt=43-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/7D42B734C8649D2981D1A1F0CFA4FBFD.jpg title=43-3.jpg alt=43-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/54E09B6A9A4A326A406B9BDB592A2DAB.jpg title=43-4.jpg alt=43-4.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/2F4C3D6B0585F748B1640794B4B90290.jpg title=1.jpg alt=1.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/0B0D6448C5869994854FFDC9B75D616B.jpg title=1-1.jpg alt=1-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/98B6528353E403470E165EFB5A4C7848.jpg title=1-2.jpg alt=1-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/A49B9FB84A9755C0FE0C453C830DD632.jpg title=1-3.jpg alt=1-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/45A7711ED7F54F31B53A7C38725558C6.jpg title=1-4.jpg alt=1-4.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/5F4F21B4AA888D3A10744048EC7CACB9.jpg title=15.jpg alt=15.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/217A911C8F9A73C8518D88EFA0004E4B.jpg title=15-1.jpg alt=15-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/F143CB73581A4DFBF4732E14BD444E91.jpg title=15-2.jpg alt=15-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/6C5C5B94E89EA9A15FFB6513397686C1.jpg title=15-3.jpg alt=15-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/F3A627337087F5299D3A7A480802D215.jpg title=15-4.jpg alt=15-4.jpg/>
【单选题】
<img title=2.jpg alt=2.jpg src=https://huaweicloudobs.ahjxjy.cn/D7BCB88AC21DEFE91FEA52C6C9BDF4F3.jpg/>
①
<img title=2-1.jpg alt=2-1.jpg src=https://huaweicloudobs.ahjxjy.cn/BE311DFD826A1846DC39578D9DEE833F.jpg/>
②
<img title=2-2.jpg alt=2-2.jpg src=https://huaweicloudobs.ahjxjy.cn/2F2D324123BBC285215E30D48338EBCA.jpg/>
③
<img title=2-3.jpg alt=2-3.jpg src=https://huaweicloudobs.ahjxjy.cn/6DED1F8DBD8561A42804FD4B874FD4E6.jpg/>
④
<img title=2-4.jpg alt=2-4.jpg src=https://huaweicloudobs.ahjxjy.cn/2C4A58C077ED840C8F62B65B8F56CFF4.jpg/>
随机题目
【单选题】
在全总个体域下，用一阶逻辑将命题“没有不能表示成分数的有理数”符号化为
①
<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 />x(<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />G(x)), 其中, G(x): x 能表示成分数.
②
<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/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(F(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge /> 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/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 /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />G(x)), 其中, F(x): x 为有理数, G(x): x 能表示成分数.
【单选题】
将命题“凡有理数都能被 2 整除”符号化，下面不合适的为：
①
个体域为有理数集合，<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />xF(x), 其中, F(x): x 能被 2 整除；
②
个体域为实数集合，<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(G(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />F(x)), 其中, G(x): x 为有理数, F(x)同上；
③
个体域为全总个体域，<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(G(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />F(x)), 其中, G(x): x 为有理数, F(x)同上；
④
个体域为复数域，<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(G(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />F(x)), 其中, G(x): x 为有理数, F(x)同上；
【单选题】
设F(x): x 小于负数, G(x): x 是正数，则命题“没有小于负数的正数”可符号化为：
①
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(G(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/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />F(x)).
②
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x(G(x)<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 />F(x)).
③
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(G(x)<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 />F(x)).
④
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x(G(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/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />F(x)).
【单选题】
实数集合里，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
④
不确定
【单选题】
设个体域 D={0,1}, 谓词F(x):x≤1, G(x):x≤2。命题“<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/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(x))”的真值：
①
0
②
1
③
2
④
不确定
【单选题】
将命题“小王学过英语和法语”用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 是外地人.