predicate logic

简体: 谓词逻辑[信息科技]
正體: 述詞邏輯[計算機]
正體: 述詞邏輯[電子計算機]

来自“https://zh.wiktionary.org/w/index.php?title=predicate_logic&oldid=5518950”