用真值表验证，在自然语言推理系统 P 中，构造下面用自然语言给出的推理，编写程序验证推理的有效 性。若小张喜欢数学，则小李或小赵也喜欢数学，若小李喜欢数学，则他特喜欢物理，小张 确实喜欢数学，可小李不喜欢物理，所以，小赵喜欢数学。使之能在pycharm运行

首先，我们需要将自然语言表述转化为逻辑表达式：

- 小张喜欢数学：math_zhang
- 小李喜欢数学：math_li
- 小赵喜欢数学：math_zhao
- 小李特喜欢物理：phy_li

推理过程：

- math_zhang
- (math_zhang -> (math_li or math_zhao))
- (math_li -> phy_li)
- ~phy_li
- ∴ math_zhao

我们可以使用 Python 中的逻辑推理库 PyKE 实现这个推理过程。首先需要安装 PyKE 库：

pip install pyke

然后创建一个 PyKE 文件 `rules.krb`，定义推理规则：

language('Prolog')

rule1:
    (math_zhang) -> (math_li or math_zhao)

rule2:
    (math_li) -> (phy_li)

rule3:
    ~phy_li

rule4:
    (math_zhang)
    ->
    (math_zhao)

接下来，我们可以在 Python 中使用 PyKE 库加载 `rules.krb` 文件，并验证推理过程的有效性：

from pyke import knowledge_engine

engine = knowledge_engine.engine(__file__)

# 定义事实
engine.assert_('math_zhang')

# 运行规则
engine.activate('rule1')
engine.activate('rule2')
engine.activate('rule3')
engine.activate('rule4')

# 获取推论
results = engine.prove_1_goal('math_zhao')
if results:
    print('小赵喜欢数学')
else:
    print('推理无效')

输出结果应为：

小赵喜欢数学

这说明我们的推理过程是有效的。