证明蕴含式的方法有两种：直接证法和反证法。下列为直接证法的是
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
停机的原因在于语法错误或程序错误。设P：停机的原因在于语法错误。Q：停机的原因在于程序错误。
A. P∨Q
B. P∧Q
C. P->Q
微信支付 
支付宝支付