Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00036829n
Noun Concept
Categories: 形式逻辑系统, 數理邏輯
ZH
谓词逻辑  一阶逻辑  謂詞演算  謂詞邏輯  一阶谓词演算
ZH
在数理逻辑中，谓词逻辑（英語：predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑、多类逻辑或无穷逻辑等等。 Wikipedia
English:
philosophy
Definitions
Relations
Sources
ZH
在数理逻辑中，谓词逻辑（英語：predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑、多类逻辑或无穷逻辑等等。 Wikipedia
一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统，也可以稱為：一阶斷言演算、低階斷言演算、量化理論或谓词逻辑。 Wikipedia
使用於數學、哲學、語言學及電腦科學中的一種形式系統 Wikidata
逻辑类型 Wikidata
IS A
数理逻辑
数学理论
谓词逻辑
邏輯系統
HAS PART
谓词逻辑
高阶逻辑
EN
institutional model theory
DE
Matrix
EN
quantification
PART OF
数理逻辑
谓词逻辑
邏輯學
HAS KIND
谓词逻辑
零阶逻辑
高阶逻辑
可判定性
DESCRIBED BY SOURCE
亞美尼亞蘇維埃百科全書
DIFFERENT FROM
谓词逻辑
STUDIED BY
数理逻辑
USES
量化
Wikipedia
ZH
一阶逻辑, 谓词逻辑
Wikidata
ZH
一阶逻辑, 谓词逻辑
Wikipedia Redirections
ZH
一阶谓词演算, 一阶谓词逻辑, 一階邏輯, 希尔伯特系统, 謂詞, 謂詞演算, 谓词演算
Wikidata Alias
ZH
一階邏輯, 謂詞邏輯, 谓词逻辑, 述詞邏輯
WordNet Translations
ZH
泛函演算, 谓词演算
Wikipedia Translations
ZH
谓词演算, 谓词逻辑

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License