検索結果- 英語 - 英語
検索内容:
first-order
first order streams
first-order logic
名詞
可算名詞
不可算名詞
日本語の意味
形式的な推論体系で、命題論理を基礎に拡張し、対象となる個体に対して「すべての」や「存在する」といった量化(∀, ∃)を可能にする論理体系。 / 対象の領域の個体に関する性質や関係を記述するための、明確かつ厳密な論理体系。
関連語
first-order spectrum
関連語
first orders of the day
名詞
活用形
複数形
日本語の意味
これは「first order of the day」の複数形、すなわち、同じ日の最初の注文(または命令)が複数存在する形態を示す活用(複数形)の表現です。