当前位置：新励学网 > 秒知问答 > 逻辑常项指什么

逻辑常项指什么

发表时间：2024-08-21 07:29:04 来源：网友投稿

逻辑常项（Logical constant）语句内表示其逻辑形式的结构要素。

它们的意义并不取决于它们的题材，相反是用作推理的算子。一公式内的任何词都可以是一常项，但不必然是一逻辑常项。例如单身汉是一常项，但不是一逻辑常项。哪些表达式可以用作逻辑常项，不同的逻辑学家有不同的选择。我们可以追随奎因，把逻辑常项枚举为下述基本的小品词，如真值函项“并非”、“并且”、“或者”以及蕴涵；同一关系、等价以及量词“有些”和“所有的”。对模态逻辑我们还可以包括“必然”和“可能”；对时态逻辑，包括“过去”、“现在”和“未来”；对其他类型逻辑，包括类似的基本词项。我们是否可以不用枚举法，而提出一条证明把某些词项选为逻辑词项是合理的原则，这一点并不清楚。每一个逻辑常项在符号逻辑中都有其符号对应物。只含有逻辑常项作为其常项的公式叫做逻辑公式。

免责声明：本站发布的教育资讯（图片、视频和文字）以本站原创、转载和分享为主，文章观点不代表本网站立场。

如果本文侵犯了您的权益，请联系底部站长邮箱进行举报反馈，一经查实，我们将在第一时间处理，感谢您对本站的关注！