註冊
登入
English
英狐狸 - 線上英漢字典
翻譯
predicate logic
-英文-繁體中文詞典
predicate logic
#不常見
定義
n. 名詞
形式符號邏輯系統;多種順序
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
一種特定類型的邏輯;一階述詞命題
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