在自然推理系统P中,构造用自然语言描述的推理若小张喜欢数学,则小李或小赵也喜欢数学,若小李喜欢数学,他也喜欢物理,小张确实喜欢数学,可小李不喜欢物理,所以小赵喜欢数学

Question

在自然推理系统P中,构造用自然语言描述的推理
若小张喜欢数学,则小李或小赵也喜欢数学,若小李喜欢数学,他也喜欢物理,小张确实喜欢数学,可小李不喜欢物理,所以小赵喜欢数学

Answer 1

设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）