若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为( )
A. P∨Q
B. P∧┐Q
C. P→┐Q
D. P∨┐Q
查看答案
以下命题公式中,为永假式的是( )
A. p→(p∨q∨r)
B. (p→┐p)→┐p
C. ┐(q→q)∧p
D. ┐(q∨┐p)→(p∧┐p)
全体极大项的合取式为( )
A. 可满足式
B. 矛盾式
C. 永真式
D. 以上都有可能
一个公式在等价意义下,写法唯一的是( )
A. 析取范式
B. 合取范式
C. 主合取范式
D. 以上答案都不对
“首都”capital一词源于罗马七丘中的哪座山丘?
A. 阿文提诺山
B. 卡比托林山
C. 奎利那雷山
D. 埃斯奎利诺山