一階述語論理は数学基礎論で広く用いられている。
بىرىنچى رەت لوگىكىسى ماتېماتىكا ئاساسى نەزەرىيەسىدە كەڭ قوللىنىلىدۇ.
First-order logic is widely used in the foundations of mathematics.
いっかいじゅつごろんり
first-order logic
بىرىنچى رەت لوگىكىسى
birinchi ret logikisi
биринчи рәт логикиси
first-order logic
English個体に対する量化を許すが、述語や関数に対する量化を許さない形式論理体系。
日本語一階述語論理は数学基礎論で広く用いられている。
بىرىنچى رەت لوگىكىسى ماتېماتىكا ئاساسى نەزەرىيەسىدە كەڭ قوللىنىلىدۇ.
First-order logic is widely used in the foundations of mathematics.
日本語読み（カタカナ）
イッカイジュツゴロンリ
ウイグル語のカナ発音
ビリンチ レト ロギキシ
IPA
birintʃi ræt loɡikisi
分野
一般用語
データ状態
精査済み
訳語、例文、発音、品詞などに誤りを見つけた場合は、修正内容を送信してください。
訂正を送るにはログインが必要です。
この単語の精査状態、AI 補完、公開データの更新を管理します。