问题标题:
在自然推理系统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)
查看更多
数学推荐
热门数学推荐