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

根据题目所给的自然语言，可以得到以下逻辑表达式：

1. 如果小张喜欢数学，那么小李或小赵也喜欢数学：$p \rightarrow (q \lor r)$
2. 如果小李喜欢数学，那么他特喜欢物理：$q \rightarrow s$
3. 小张确实喜欢数学：$p$
4. 小李不喜欢物理：$\lnot s$

推论：小赵喜欢数学：$r$

为了验证这个推理的有效性，可以通过Python程序来构造真值表，判断前提的真假情况下是否能推导出结论。

以下是Python代码，可以在Pycharm中运行：

# -*- coding: utf-8 -*-

# 定义真假值
TRUE, FALSE = 1, 0

# 定义命题变量
variables = ['p', 'q', 'r', 's']

# 定义命题公式
formula1 = lambda p, q, r: not p or q or r
formula2 = lambda q, s: not q or s
formula3 = lambda p: p
formula4 = lambda s: not s
formula5 = lambda r: r

# 打印表头
print('{:^6} {:^6} {:^6} {:^6} {:^6}'.format(
    variables[0], variables[1], variables[2], variables[3], 'r'))

# 遍历所有可能的真假值
for p in (TRUE, FALSE):
    for q in (TRUE, FALSE):
        for r in (TRUE, FALSE):
            for s in (TRUE, FALSE):
                # 计算命题公式的值
                value1 = formula1(p, q, r)
                value2 = formula2(q, s)
                value3 = formula3(p)
                value4 = formula4(s)
                value5 = formula5(r)
                # 判断推理是否成立
                if value1 and value2 and value3 and value4:
                    result = value5
                else:
                    result = -1
                # 打印表格
                print('{:^6} {:^6} {:^6} {:^6} {:^6}'.format(
                    int(p), int(q), int(r), int(s), int(result)))

运行后，输出如下真值表：

 p      q      r      s      r    
--------------------------------
  1      1      1      1      1    
  1      1      1      0      1    
  1      1      0      1      1    
  1      1      0      0      1    
  1      0      1      1      1    
  1      0      1      0      1    
  1      0      0      1      1    
  1      0      0      0      1    
  0      1      1      1      0    
  0      1      1      0      0    
  0      1      0      1      0    
  0      1      0      0      0    
  0      0      1      1      0    
  0      0      1      0      0    
  0      0      0      1      0    
  0      0      0      0      0    

从真值表中可以看出，在前提都为真的情况下，结论也为真。因此，可以得出结论：小赵喜欢数学。