有木有人啊，帮忙做一下，考试题【逻辑学吧】

逻辑学吧关注：38,122贴子：144,683

在自然推理系统P中构造下面推理的证明（每题15分，共30分）
（1）前提：p→((s∨r)→q)，s∧p
求证：q
（2）前提：¬p∨q，¬q∨r，r→s
求证： p→s

送TA礼物

1楼2016-12-01 23:50回复

1 p→((s∨r)→q)
2 s∧p q
3 p
4 svr-->q
5 s
6 svr
7q

IP属地:上海

2楼2016-12-01 23:57

收起回复

2025-04-04 17:13广告

厉害

来自Android客户端3楼2019-03-13 01:03

我来个详细的

IP属地:湖南

来自Android客户端4楼2019-03-15 11:43

下载贴吧APP
看高清直播、视频！

贴吧热议榜

发表回复

内容:

使用签名档查看全部

发表

保存至快速回贴