首页
15问答网
>
在自然推理系统P中用附加前提法证明下面推理。 前提P->(q->r),s->p,q 结论s->r
在自然推理系统P中用附加前提法证明下面推理。 前提P->(q->r),s->p,q 结论s->r
2025-03-23 07:30:10
推荐回答（1个）
回答1：
结论： q .推理过程 ( q) P（附加前提） 为什么要加否定？证明：A→(1.在结论前加否定是用的反证法， 当然也可以不用附加的，也可以做的 2.
相关问答
最新问答
北京东站到北京大学怎么走
去天津眼科医院,验光配镜,需要提前预约吗
你认为最有智慧的句子
三棵树植物清味木器漆特点？
锦宏光耀城周边环境怎么样？生活便利吗？
zhon和zhong读起来有什么区别啊，举几个例子。
湖南工业职业技术学院有哪些专业
蒸青菜怎么蒸
守护甜心里的日奈森亚梦有几个甜心和那几个甜心的资料
你好 我们用树脂瓦做遮雨棚，用955中性硅酮结构密封胶和结构胶 填裂
