题目内容

推广规则用于（）量词；指定规则用于（）量词。

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

查看答案

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

更多问题

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

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

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

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

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

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

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

A. P⇄Q
B. P∧Q