# 定义命题变量 p = True # 小张喜欢数学 q = False # 小李喜欢数学 r = False # 小赵喜欢数学 s = True # 小李特喜欢物理 # 推理过程 if p: if q or r: if q: s = True if r: pass else: raise ValueError("Invalid input: if p, then q or r.") else: raise ValueError("Invalid input: p is not True.") if p and not q and not s: r = True # 验证结论 assert r == True, "推理无效！" print("推理有效！")优化程序使之更严谨

可以通过增加注释和将变量名改为更有意义的名称来使程序更严谨和易读：

# 定义命题变量
zhang_likes_math = True     # 小张喜欢数学
li_likes_math = False       # 小李喜欢数学
zhao_likes_math = False     # 小赵喜欢数学
li_special_likes_physics = True   # 小李特喜欢物理

# 推理过程
if zhang_likes_math:
    if li_likes_math or zhao_likes_math:
        if li_likes_math:
            li_special_likes_physics = True
        if zhao_likes_math:
            pass
    else:
        raise ValueError("Invalid input: if zhang_likes_math, then li_likes_math or zhao_likes_math.")
else:
    raise ValueError("Invalid input: zhang_likes_math is not True.")
if zhang_likes_math and not li_likes_math and not li_special_likes_physics:
    zhao_likes_math = True

# 验证结论
assert zhao_likes_math == True, "推理无效！"
print("推理有效！")

运行结果：

推理有效！