题目内容

对函数f来说,若f(x)=y且f(x)=z,那么y=z。

A. 对
B. 错

查看答案
更多问题

推广规则用于( )量词;指定规则用于( )量词。

A. 添加;消去
B. 消去;添加
C. 消去;消去
D. 添加;添加

证明蕴含式的方法有两种:直接证法和反证法。下列为直接证法的是

A. 设前件为真,由此推导出后件亦为真。
B. 设后件为假,由此推导出前件亦为假。

如何由命题函数变成命题?

A. 具体客体名称取代客体变元获得命题
B. 用量化客体变元的方法获得命题
C. 以上都可

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

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

答案查题题库