对函数f来说,若f(x)=y且f(x)=z,那么y=z。
查看答案
推广规则用于( )量词;指定规则用于( )量词。
A. 添加;消去
B. 消去;添加
C. 消去;消去
D. 添加;添加
证明蕴含式的方法有两种:直接证法和反证法。下列为直接证法的是
A. 设前件为真,由此推导出后件亦为真。
B. 设后件为假,由此推导出前件亦为假。
如何由命题函数变成命题?
A. 具体客体名称取代客体变元获得命题
B. 用量化客体变元的方法获得命题
C. 以上都可
若对n元谓词A(x1, x2, …, xn)中k个变元进行约束,则为几元谓词?
A. n
B. k
C. n-k
D. 1