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

n. 名詞

1. 形式符號邏輯系統；多種順序
   The mathematician used predicate logic to prove the theorem.

   數學家使用謂詞邏輯來證明定理。
2. 一種特定類型的邏輯；一階述詞命題
   The philosopher studied first-order predicate logic in her research.

   哲學家在她的研究中研究了一階謂詞邏輯。