在自然推理系统P中,构造用自然语言描述的推理

在自然推理系统P中,构造用自然语言描述的推理
若小张喜欢数学,则小李或小赵也喜欢数学,若小李喜欢数学,他也喜欢物理,小张确实喜欢数学,可小李不喜欢物理,所以小赵喜欢数学
qchevq 1年前 已收到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年前

4
可能相似的问题

你能帮帮他们吗

精彩回答

Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 1.452 s. - webmaster@yulucn.com