字典網>> 漢英字典>> W開頭詞條>>謂詞邏輯的英文翻譯

謂詞邏輯

拼音:wèi cí luó jí

英文解釋:

【計】 predicate logic

漢語造句:

  1. “中介”謂詞邏輯演算MF的特徵問題
    Soundness and Completeness Theorems on“Medium”Logic MF (MF)
  2. 包含巴肯公式的認知謂詞邏輯系統
    A Predicate System of Epistemic Logic with Bacon-formula

相關詞語