指出下列谓词公式中的量词及其辖域,指出各自由变元和约束变元,并回答它们是否是命题.

A . A.一阶谓词 B . B.原子公式 C . C.二阶谓词 D . D.全称量词

A . A、乙烯 B . B、丙烯醇 C . C、丁二烯 D . D、丙二醇

A . A、依赖函数 B . B、Skolem函数 C . C、决定函数 D . D、多元函数

量词<img src='https://img2.soutiyun.com/ask/2021-01-01/978369360923964.png' />!表示“有且仅有",<img src='https://img2.soutiyun.com/ask/2021-01-01/978369360923964.png' />!xP(x)表示有且仅有一个个体满足谓词P(x).试用量词<img src='https://img2.soutiyun.com/ask/2021-01-01/978369410065775.png' />,<img src='https://img2.soutiyun.com/ask/2021-01-01/978369360923964.png' />,等号“=”及谓词P(x)表示<img src='https://img2.soutiyun.com/ask/2021-01-01/978369360923964.png' />!P(x),即写出一个通常的谓词公式使之与<img src='https://img2.soutiyun.com/ask/2021-01-01/978369360923964.png' />!xP(x)具有相同的意义.

谓词公式_{<img src='https://img2.soutiyun.com/ask/2020-08-15/966374646121996.png' />}中最词_{<img src='https://img2.soutiyun.com/ask/2020-08-15/966374708114542.png' />}的辖域是下列4个中的哪一个？ <img src='https://img2.soutiyun.com/ask/2020-08-15/966374672701516.png' />

A．$xA(x)→B B．"xA(x)→B C．A(x)→B D．"xA(x)→"xB

A．1）对、 4）对 B．2）对、3）对 C．1）对、2）对、4）对，3）错 D．1）对、2）对、3）错、4）错

A．依赖函数 B．Skolem函数 C．决定函数 D．多元函数

公式<img src='https://img2.soutiyun.com/ask/2021-01-01/978368745279751.png' />中自由变元为()约束变元为().

A．一阶谓词 B．低阶谓词 C．原子公式 D．高阶谓词

<img src='https://img2.soutiyun.com/ask/2021-01-06/978810677658673.png' />

A.依赖函数 B.Skolem函数 C.决定函数 D.多元函数