在自然推理系统P中,若有前提:p∨q,「q的结论是( )。A．qB．pC．p∨﹁qD．﹁p
在自然推理系统P中,若有前提:p∨q,「q的结论是( )。
A、q
B、p
C、p∨﹁q
D、﹁p
发布时间：2024-12-20 18:37:36
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜搜题库网 官方老师解答 )
答案：
相关试题
- 1.在自然推理系统P中,若有前提:p∨q,「q的结论是( )。A．qB．pC．p∨﹁qD．﹁p
- 2.下列推理形式中,有效的是A.(p→～q)∧q→～pB.(～p←q)∧q→～pC.(p∨～q)∧p→～qD.(p∨～q)∧q→～pE.[(p→q)∧(r→s)∧(～p∨～r)]→(～q∨～s)
- 3.下列命题公式中哪个（些）为重言式？ （）Ⅰ．（（p∨q）→r┌）→（（p→r）∧（q→r））Ⅱ．（p→（q∨r））→（（p→q）∧（p→r））Ⅲ．（（p→q）∧（p→r））→（（p→r）Ⅳ．
- 4.对于谓词公式P与Q，如果P→Q永真，则称P为Q的前提，Q为P的逻辑结论，记为P⇒Q。
- 5.用真值表证明¬(p↔q)和 ¬q↔p逻辑等价。
- 6.P→Q<==>┐P∨Q是（ ）∧∨。
- 7.┐(P∧Q)<==>┐P∨┐Q是（ ）。
- 8.┐P,P→Q=>Q是（ ）。
- 9.┐(P∨Q) ←→(P∧Q)的主析取范式是（ ）
- 10.main() {int *p,i; char *q,ch; p=&i; q=&ch; *p=40; *p=*q;……}
