【单选题】【消耗次数：1】
？表示动作的量。
①
名量词
②
动量词
③
时量词
④
形量词
参考答案：
复制
纠错
相关题目
【简答题】
紧接于量词之后最小的子公式叫量词的[填空1]
【单选题】
在公式中yxp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（ ）
①
依赖函数
②
Skolem函数
③
决定函数
④
多元函数
【多选题】
设个体域 D={a,b,c}, 消去谓词“xF(x) ?yG(y)”中的量词后的形式，下面不正确的有：
①
(F(a) ùF(b)) ùF(c)) ù (G(a) úG(b) úG(c))；
②
(F(a) ùF(b) ùF(c)) ú (G(a) ùG(b) ùG(c))
③
(F(a) ùF(b) ùF(c)) ? (G(a) ùG(b) ùG(c))；
④
(F(a) ùF(b) ùF(c)) ù (G(a) ùG(b) ùG(c)).
【多选题】
设个体域 D={a,b,c}, 消去谓词“xy(F(x) úG(y))”中的量词后的形式，下面不正确的有：
①
(F(a) ùF(b)) ùF(c)) ù (G(a) úG(b) úG(c))；
②
(F(a) ùF(b) ùF(c)) ú (G(a) ùG(b) ùG(c))
③
(F(a) ùF(b) ùF(c)) ? (G(a) ùG(b) ùG(c))；
④
(F(a) ùF(b) ùF(c)) ù (G(a) ùG(b) ùG(c)).
随机题目
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/BF45ED28E1ACE828EE9EABEFDD50334E.jpg title=49-A.jpg alt=49-A.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/989A6A3DFEE9C3DC2CEEC0C67AAA905B.jpg title=49-1.jpg alt=49-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/AA3E2D9FE76070FD0D23A6BA7B91FAE2.jpg title=49-2.jpg alt=49-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/B83E3FD8E6D8217C2FB28CFC2A165B74.jpg title=49-3.jpg alt=49-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/A4DD6E3EEB9A92693A61E82C4735922E.jpg title=49-4.jpg alt=49-4.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/C54E8081C6576D4A57C19CE91A908D5A.jpg title=34-C.jpg alt=34-C.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/578A948FDC3817222606319C187C7ABB.jpg title=34-1.jpg alt=34-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/61BC56FA5E29D17462DA10E599A1F42D.jpg title=34-2.jpg alt=34-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/FECBB7D1DA5ED05BBF63899C2EB4637C.jpg title=34-3.jpg alt=34-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/52A4CCE2E479FBA2AE06259981351D38.jpg title=34-4.jpg alt=34-4.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/E47D3619597828FF619AD8DA14CCF1CC.jpg title=46-A.jpg alt=46-A.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/D2D7DECD62DDE2A408613BDC6647C79B.jpg title=46-1.jpg alt=46-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/B41E639CEBD677153E47FFC5E8FD7B4C.jpg title=46-2.jpg alt=46-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/71183CC8B2B03E3ACCD07A9795E3D805.jpg title=46-3.jpg alt=46-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/0014BE2858BCAF8347E494A69C78D1EA.jpg title=46-4.jpg alt=46-4.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/4C87AF7B0412B89DFF045B7151155C37.jpg title=93-C.jpg alt=93-C.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/7A98B4084E9270B0712D0FF029349AEE.jpg title=93-1.jpg alt=93-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/C94D48ACD6DAE542316D3B8A514C3D2F.jpg title=93-2.jpg alt=93-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/D106FF1722A7DB2E5022E5544181F79A.jpg title=93-3.jpg alt=93-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/9A66344A9D8EB4A5BDA7FBF64DB5A8BC.jpg title=93-4.jpg alt=93-4.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/2F6A8A5E4E15AA971D35848E300E6978.jpg title=83-B.jpg alt=83-B.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/17E98B3BF43CE4E54B16B9D971B82B18.jpg title=83-1.jpg alt=83-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/25FC426D088624C674FC4B45B85E09C5.jpg title=83-2.jpg alt=83-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/E690CB53BCA06B86090B810CB5CBC86B.jpg title=83-3.jpg alt=83-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/114E711823718A1C99701D7E8ED894A5.jpg title=83-4.jpg alt=83-4.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/72175077073F9EF0F7CAAEEA0D2BA17F.jpg title=1-A.jpg alt=1-A.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/26A89AAC7175592592CF646E35331D9C.jpg title=1-1.jpg alt=1-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/BCAD45B8BE6AFCD96270F129C9EB2563.jpg title=1-2.jpg alt=1-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/2FF43F8A0C0BDC1B9A2A5FBCED194E57.jpg title=1-3.jpg alt=1-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/2781E21D0B674401D492897B2E998CA7.jpg title=1-4.jpg alt=1-4.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/9F95D9B79442A480A2BDAA7F7CF7A873.jpg title=6-B.jpg alt=6-B.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/EA7FD408ECB17ED104A8BD1D0F10104A.jpg title=6-1.jpg alt=6-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/7E51BE689A4A67C238C2C7D4AFAAC649.jpg title=6-2.jpg alt=6-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/7364D97A6919FE60CC9F6F7A015D58F3.jpg title=6-3.jpg alt=6-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/D0E2DB239C02FDE79225C96B745324A4.jpg title=6-4.jpg alt=6-4.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/4577551A2CA5599FCDABFD0285CECACA.jpg title=3-D.jpg alt=3-D.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/A8C0D913E5540380E4EDC0B3F89F4467.jpg title=3-1.jpg alt=3-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/915AD5935129EBC1319DFDC69230BEDD.jpg title=3-2.jpg alt=3-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/4AA2B65E408F7A083A908AE07AB78E5E.jpg title=3-3.jpg alt=3-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/107C49CC4DE7B2B9189E8A18BCB27BB2.jpg title=3-4.jpg alt=3-4.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/76A4C0808D3C59F2CF2DC0546B76414A.jpg title=62-A.jpg alt=62-A.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/B5275AE49A7A4A63139FF7F4BD48DF57.jpg title=62-1.jpg alt=62-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/410A72E2D852FD837224E6CCB504C3BC.jpg title=62-2.jpg alt=62-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/5AEA2D8588E6B97BC7DC3B01FF35A952.jpg title=62-3.jpg alt=62-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/9ED9751E17DA7FF8074E3BFA8393BFEA.jpg title=62-4.jpg alt=62-4.jpg/>
【单选题】
<img src=https://huaweicloudobs.ahjxjy.cn/261F34B39C6CD2959A43CD51F202C00D.jpg title=56-B.jpg alt=56-B.jpg/>
①
<img src=https://huaweicloudobs.ahjxjy.cn/5EEDE3B7946E597E3175DE74E5850D15.jpg title=56-1.jpg alt=56-1.jpg/>
②
<img src=https://huaweicloudobs.ahjxjy.cn/5817330A9903984246089E87905A8A11.jpg title=56-2.jpg alt=56-2.jpg/>
③
<img src=https://huaweicloudobs.ahjxjy.cn/8813F130C2CB09E6AA2C8A27501BC321.jpg title=56-3.jpg alt=56-3.jpg/>
④
<img src=https://huaweicloudobs.ahjxjy.cn/C0EBBE46D53EA9E1FB7DE3E7E574C596.jpg title=56-4.jpg alt=56-4.jpg/>