目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。
Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.
传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。
Traditional logic and modern logic have some defects in analyzing the hypothetical proposition of natural language.
应用推荐