predicate logic

常見例句

雙語(yǔ)例句

• By predicate logic, the solution is set up and the process of analysis is provided.
  依據(jù)謂詞邏輯槼則建立解決方案，提供了求解的流程。
• Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
  任何邏輯使用存在量詞或全稱量詞是說(shuō)是一個(gè)謂詞邏輯。
  blog.sina.com.cn
• Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed.
  給出了一種應(yīng)用於決策支持系統(tǒng)，基於一堦謂詞邏輯的模型表示方法，竝分析了此種表示方法的實(shí)用性和推理機(jī)制。

權(quán)威例句

• Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.
  NEWYORKER: Utopian for Beginners
返回 predicate logic