问题标题:
在自然推理系统P中,构造用自然语言描述的推理若小张喜欢数学,则小李或小赵也喜欢数学,若小李喜欢数学,他也喜欢物理,小张确实喜欢数学,可小李不喜欢物理,所以小赵喜欢数学
问题描述:
在自然推理系统P中,构造用自然语言描述的推理
若小张喜欢数学,则小李或小赵也喜欢数学,若小李喜欢数学,他也喜欢物理,小张确实喜欢数学,可小李不喜欢物理,所以小赵喜欢数学
刘皓春回答:
设P:小张喜欢数学,Q:小李喜欢数学,R:小赵喜欢数学
S:小李喜欢物理,小张喜欢数学
若小张喜欢数学,则小李或小赵也喜欢数学,符号化为P→Q∨R
若小李喜欢数学,他也喜欢物理,符号化为Q→S,
小李不喜欢物理,符号化为非S
前提P→Q∨R,Q→S,P,非S,结论R
构造推理如下:
(1)Q→SP
(2)非SP
(3)非QT(1)(2)
(4)PP
(5)P→Q∨RP
(6)Q∨RT(4)(5)
(7)RT(3)(6)
查看更多