元となった辞書の項目
first-order logic
名詞
可算名詞
不可算名詞
日本語の意味
形式的な推論体系で、命題論理を基礎に拡張し、対象となる個体に対して「すべての」や「存在する」といった量化（∀, ∃）を可能にする論理体系。 / 対象の領域の個体に関する性質や関係を記述するための、明確かつ厳密な論理体系。
（ plural ）
（ plural ）
DiQt（ディクト）
無料
★★★★★★★★★★
