单选题 已知公式A含3个命题变项p,q,r，并且它的成真赋值为000，011，110，则A的主合取范式为：
A、m0∨m3∨m6
B、m1∨m2∨m4∨m5∨m7
C、M0∧M3∧M6
D、M1∧M2∧M4∧M5∧M7
单选题 判断下列语句哪个是命题：
A、你喜欢唱歌吗？
B、若7+8＞18，则三角形有4条边。
C、前进！
D、给我一杯水吧！
单选题 下列命题公式中，与P→Q等价的是：
A、¬P∨Q
B、P∧¬Q
C、¬P→¬Q
D、Q→P
单选题 下列命题公式为矛盾式的：
A、¬(p→q)∧q
B、p→(p∨q)
C、(p→q)∨p
D、(p∨q)→r
单选题 设F(x):x是质数，则命题“3是质数除非8是质数”可符号化为：
A、F(3)→F(8)
B、F(3)∧F(8)
C、F(3)↔F(8)
D、F(8)→F(3)
单选题 在自然推理系统中，由前提“(p→q),¬q”能推出的结论是：
2025-12-02
共93道
