题目内容

若对n元谓词A(x1, x2, …, xn)中k个变元进行约束，则为几元谓词？

A. n
B. k
C. n-k
D. 1

查看答案

搜索结果不匹配？点我反馈

更多问题

命题符号化：我与君绝当且仅当山无陵。（假设P：山无陵。Q：我与君绝。）

A. P⇄Q
B. P∧Q

停机的原因在于语法错误或程序错误。设P：停机的原因在于语法错误。Q：停机的原因在于程序错误。

A. P∨Q
B. P∧Q
C. P->Q

张三或者李四都有能力做这件事。P:张三有能力做这件事，Q:李四都有能力做这件事。

A. (P∧ùQ)∨(ùP∧Q)
B. P∨Q
C. P∧Q

如果张三和李四都不去，他就去。设P：张三去。Q：李四去。R：他去。

A. ù (P∧Q)→R
B. (ùP∧ùQ)→R
C. (ùP∨ùQ)→R