註冊登入 English

翻譯predicate logic-英文-繁體中文詞典

predicate logic

定義

n. 名詞
1. 形式符號邏輯系統；多種順序
  The mathematician used predicate logic to prove the theorem.
  數學家使用謂詞邏輯來證明定理。
  Synonyms:
  propositional logic first-order logic formal logic symbolic logic
  Antonyms:
  informal logic intuitive logic non-formal logic
2. 一種特定類型的邏輯；一階述詞命題
  The philosopher studied first-order predicate logic in her research.
  哲學家在她的研究中研究了一階謂詞邏輯。
  Synonyms:
  first-order logic propositional logic quantificational logic predicate calculus
  Antonyms:
  intuitionistic logic fuzzy logic modal logic non-classical logic higher-order logic

詞根

predicate logic