若对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