在自然推理系统p中构造下面推理的证明：

tmpjack82022-10-04 11:39:541条回答

在自然推理系统p中构造下面推理的证明：
1.只要A曾到过受害者房间并且11点前没离开,A就是谋杀犯.A曾到过受害者房间.如果A在11点以前离开,看门人会看见他.看门人么有看见他.所以,A是谋杀嫌犯.
2.如果今天是周六,我们就去颐和园或圆明园玩.如果颐和园游人太多,我们就不去颐和园玩.今天是周六.颐和园游人太多.所以,我们去圆明园玩.
3.如果小王是理科生,则它的数学成绩一定很好.如果小王不是文科生,他一定是理科生.小王的数学成绩不好.所以小王是文科生.
这是大二左右的题,
是 p：A曾到过受害者房间 q：11点前没离开

已提交，审核后显示！提交回复

最后的小林共回答了19个问题 | 采纳率84.2%: 1.因为看门人没有看见他,所以a在11点前没有离开,所以a是谋杀嫌疑犯
2.因为颐和园人太多,所以我们不去颐和园玩,所以我们去圆明园玩
3.因为小王数学成绩不好,所以他不是理科生,所以他是文科生; 1年前

在自然推理系统P中,用归谬法证明题目是这样的, 在自然推理系统P中,用归谬法证明题目是这样的, 前提：P∨q,p->r,q->s 结论：r∨s； tywylq1年前2: twc520 共回答了15个问题 | 采纳率86.7%

⑴ ┐(r∨s） P(附加前提,归谬法或反证法假设)
⑵ ┐r∧┐s T⑴
⑶ ┐r T⑵
⑷ ┐s T⑵
⑸ p→r P
⑹ ┐p T⑶⑸
⑺ q→s P
⑻ ┐q T⑷⑺
⑼┐p∧┐q T⑹⑻
⑽┐(p∨q) T⑼
⑾ p∨q P
⑿(p∨q) ∧┐(p∨q) T ⑽⑾（矛盾）

1年前查看全部

在自然推理系统P中,构造用自然语言描述的推理 在自然推理系统P中,构造用自然语言描述的推理 若小张喜欢数学,则小李或小赵也喜欢数学,若小李喜欢数学,他也喜欢物理,小张确实喜欢数学,可小李不喜欢物理,所以小赵喜欢数学 qchevq1年前1: ncwa 共回答了21个问题 | 采纳率90.5%

设P:小张喜欢数学,Q:小李喜欢数学,R:小赵喜欢数学
S:小李喜欢物理,小张喜欢数学
若小张喜欢数学,则小李或小赵也喜欢数学,符号化为P→Q∨R
若小李喜欢数学,他也喜欢物理,符号化为Q→S,
小李不喜欢物理,符号化为非S
前提P→Q∨R,Q→S,P,非S,结论R
构造推理如下：
（1）Q→S P
（2）非S P
（3）非Q T （1)（2）
（4）P P
（5）P→Q∨R P
（6）Q∨R T（4）（5）
（7）R T（3）（6）

1年前查看全部

在自然推理系统p中构造下面推理的证明：

共1条回复

相关推荐

大家在问