【单选题】【消耗次数：1】
<img src=https://huaweicloudobs.ahjxjy.cn/2E34700B47F55273042BA0203E0720EC.png title=11-D.png alt=11-D.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/29056A95BCEADEE8CD6058DCD5A156D0.png title=11-1.png alt=11-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/63D118FC179F2DA2BADD685E8C5B3270.png title=11-2.png alt=11-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/DA8314B99C48525ACE264269B740C467.png title=11-3.png alt=11-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/E938E5F5BD01D6DD4E0A31A2690CF4C0.png title=11-4.png alt=11-4.png/>
参考答案：
复制
纠错
相关题目
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/4A8356BEFCFB494E631591AAC5FBDEA2.png title=11-D.png alt=11-D.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/589CB6F65BA3EE9658D17A6A99C62038.png title=11-1.png alt=11-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/B2BF3D0A4C5019757D280262742E71B9.png title=11-2.png alt=11-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/2E4804872B8490D895065F7064630F30.png title=11-3.png alt=11-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/34D960AC3805E90F8302EA30A1912A36.png title=11-4.png alt=11-4.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/23F1E978A97917B3E14268EF0EDA9E3D.png title=11-D.png alt=11-D.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/3868C116808EDAF720FABE82827D92E9.png title=11-1.png alt=11-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/6A658F62C35A14058E1A4273C0DB195A.png title=11-2.png alt=11-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/42C93CBF3A6136478DBF0B92CCF60D4C.png title=11-3.png alt=11-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/4593250EBD8FAD9B0174FB84AC4E4BBD.png title=11-4.png alt=11-4.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/5FEEB8D93E26D3B99B4A7BFDB72BD570.png title=11.png alt=11.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/4385E2AF9EE235FF25F2F79256FE6E31.png title=11-1.png alt=11-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/4F35AEDF8934E411A649FD4F817188AA.png title=11-2.png alt=11-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/036A0551F1381E30EC43849B5DA92417.png title=11-3.png alt=11-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/0B578D2951DA549DE974E4400A878C67.png title=11-4.png alt=11-4.png/>
【多选题】
<img src=https://huaweicloudobs.ahjxjy.cn/4E166ABC7D8D9CB2B0224265159981AF.png title=11.png alt=11.png/><img src=https://huaweicloudobs.ahjxjy.cn/24E0907ED0230C3FE1B001D96DCA0640.png title=3.png alt=3.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/4E8F93EAAFB8DF486EC87E8B24398064.png title=15.png alt=15.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/DA4B0B0D0E4F2CB097E82CDC0F26256A.png title=14.png alt=14.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/CECFB04B26C2A732E726F03703F898D9.png title=13.png alt=13.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/C6ED86060FEC93DF6A569EECF1362476.png title=12.png alt=12.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/DCCED947C14F3F3845531CDD5B16E9C0.png title=11.png alt=11.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/92FD53F226A26623E2117634A34E1431.png title=11-1.png alt=11-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/B4C88BDCD88659598E1F774393382ECF.png title=11-2.png alt=11-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/24E7CDBE0EE4E58CEF03A276798F22EB.png title=11-3.png alt=11-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/250CF10934E496C63DEFE643DF009F4F.png title=11-4.png alt=11-4.png/>
【多选题】
<img src=https://huaweicloudobs.ahjxjy.cn/7639E22A5A11F8AAE342E8CF720D0A59.png title=3.png alt=3.png/><img src=https://huaweicloudobs.ahjxjy.cn/2AF96E75BA426494E5C43D949D0D2565.png title=10.png alt=10.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/9834B75CF42F45725FA37B7F8F47DC7B.png title=11.png alt=11.png/><img src=https://huaweicloudobs.ahjxjy.cn/60A1FA55EE4E6214484C7D47D9817458.png title=12.png alt=12.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/ED288DED03CC74A0D548142DBC5CA9C4.png title=16.png alt=16.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/77DE2666FA87F3B5409B32613717F7A6.png title=13.png alt=13.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/0FD5FFFDE0D117F82F07C343008FD923.png title=14.png alt=14.png/><img src=https://huaweicloudobs.ahjxjy.cn/9D317ED3A73C8C4B8D7F7145ADA04945.png title=15.png alt=15.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/1C741F761D9F2DB3F0824F0C6C3D264B.png title=11.png alt=11.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/F8487ED23DA307B96C75C96C4ADC649A.png title=11-1.png alt=11-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/7E46802306681D0DDE9F1ED2E9BE4E4E.png title=11-2.png alt=11-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/B3E9D4A020257753DE2E31FA503C6CB0.png title=11-3.png alt=11-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/8E5DC0C9B725B37F5E80234583B0587E.png title=11-4.png alt=11-4.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/44296D7BA22C5ACAA6548124E86301A7.png title=11.png alt=11.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/6739B85A6B74B55D187A6EEEB09F677D.png title=11-1.png alt=11-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/03B8379A798837923078976D07493E2F.png title=11-2.png alt=11-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/199D5E2C44C4B0A84C7A5DCCBCDCFF95.png title=11-3.png alt=11-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/F364AB7BE11F69A9DAC704531379C764.png title=11-4.png alt=11-4.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/69E430A783B1F77D0FD1D1233D104326.png title=11-A.png alt=11-A.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/BBE07CD708EEE1BF9E67A6C5BB1ED4A5.png title=11-1.png alt=11-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/33700B5EF56586C82C9989F90F3365D9.png title=11-2.png alt=11-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/15F37466E82D9AA782D31E966D04ED75.png title=11-3.png alt=11-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/64F39D6A912C53270875ADE22BE54F5F.png title=11-4.png alt=11-4.png/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/30E232B492402440C5FA5A30BC855492.png title=11.png alt=11.png/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/8421162B15896122274FD6D02E26F1BC.png title=11-1.png alt=11-1.png/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/127A64BD040317B57E504DAA625F661E.png title=11-2.png alt=11-2.png/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/81BE3305BD62565C4A7B1A0DF20105A8.png title=11-3.png alt=11-3.png/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/65EC2D14E95E33AD3A927D6FC7DC6B6C.png title=11-4.png alt=11-4.png/>
随机题目
【单选题】
判断公式“<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 /><img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />y(G(y) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />H(x,y)))”的类型：
①
重言式
②
矛盾式
③
可满足式
④
无法确定
【单选题】
设个体域 D={1,2}, 谓词F(x):x≤2, G(x):x≤3。命题“<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))”的真值：
①
0
②
1
③
2
④
不确定
【单选题】
设: F(x):x 能表示成分数, G(x):x 为无理数, H(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/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(H(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />F(x))，则下面不是其有效结论的是：
①
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(H(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 />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 />x(H(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(H(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 />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/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(H(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />G(x))
【单选题】
个体域为整数集, 公式“<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(x - y = z)”翻译成自然语言，下面不合适的是
①
“任意两个整数的差是整数.”
②
“对于任意两个整数, 都存在第三个整数, 它等于这两个整数相减.”
③
“对于任意整数 x 和 y, 都存在整数 z, 使得 x - y = z.”
④
“存在一个整数, 对于任意两个整数, 第一个整数都等于这两个整数相减.”
【单选题】
判断公式“<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/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(y) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />H(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(x×y = 1)”翻译成自然语言，下面不合适的是
①
“每个整数都有一个倒数.”
②
“对于每个整数, 都能找到另一个整数, 它们相乘结果是1.”
③
“对任意非零整数, 都能找到另一个整数, 使得它们相乘结果等于1.”
④
“对于任意整数 x, 都存在整数 y, 使得 x×y = 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(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
④
不确定
【单选题】
设个体域 D={3,4}，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/117E6A630A0200497B87D15B90307923.png data-tex=\exists />yF(x,y)”的真值：
①
0
②
1
③
2
④
不确定
【单选题】
将命题“除非李建是东北人, 否则他一定怕冷”用0 元谓词符号化不合适的是：
①
令 F(x): x 是东北人; G(x): x 怕冷; a: 李建. 符号化为<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />F(a)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />G(a)
②
令 F(x): x 是东北人; G(x): x 怕冷; a: 李建. 符号化为 <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />G(a)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />F(a).
③
令 H(x, y): x 是 y 地方人; G(x): x 怕冷; a: 小王; b: 东北. 则符号化为<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/09825764C15E56B1CFE3099F64BC5193.png data-tex=\neg />H(a, b)<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />G(a) .
④
令 P: 李建是东北人; Q: 他怕冷. 符号化为P<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto /> Q。
【单选题】
设个体域 D={3,4}，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/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />yF(x,y)”的真值：
①
0
②
1
③
2
④
不确定