一流百科
  • 一流导航
  • 词条百科
  • 企业百科
  • 产品提交 文章投稿
  • 词条百科
  • 企业百科

谓词抽象

抽象是一个模态谓词谓词抽象

谓词抽象

谓词抽象在逻辑学中,谓词抽象是指从一个句子中创建一个谓词的结果。如果Q是任何公式,那么从该句子中形成的谓词抽象是(λy.Q),其中λ是一个抽象算子,在(λy.Q...
词条百科
添加小工具
点此为“分类归档侧边栏”添加小工具
Copyright © 2026 一流百科