名词

释义

  1. 〈阴〉 [数学]谓词演算,谓词逻辑

来源与署名

词典正文来自中文维基词典「Prädikatenlogik」及其贡献者与修订历史,由 Kaikki.org / Wiktextract 提取,本站合并重复记录并调整展示格式。词典正文按 CC BY-SA 4.0 使用;引文保留源记录中的出处。查看来源、处理说明与原数据下载。