一階述語論理は数学基礎論で広く用いられている。
بىرىنچى رەت لوگىكىسى ماتېماتىكا ئاساسى نەزەرىيەسىدە كەڭ قوللىنىلىدۇ.
First-order logic is widely used in the foundations of mathematics.
いっかいじゅつごろんり
first-order logic
بىرىنچى رەت لوگىكىسى
birinchi ret logikisi
биринчи рәт логикиси
first-order logic
English個体に対する量化を許すが、述語や関数に対する量化を許さない形式論理体系。
Japanese一階述語論理は数学基礎論で広く用いられている。
بىرىنچى رەت لوگىكىسى ماتېماتىكا ئاساسى نەزەرىيەسىدە كەڭ قوللىنىلىدۇ.
First-order logic is widely used in the foundations of mathematics.
Japanese reading (katakana)
イッカイジュツゴロンリ
Uyghur pronunciation in kana
ビリンチ レト ロギキシ
IPA
birintʃi ræt loɡikisi
Domain
General term
Data status
Reviewed
If you notice an error in the translation, example sentences, pronunciation, part of speech, or elsewhere, please submit a correction.
You need to log in to submit a correction.
Manage this word's review status, AI-assisted completion, and published data updates.