ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 英語
検索内容:
harp closure
関連語
deductive closure
名詞
日本語の意味
与えられた命題集合から論理体系に沿って導かれるすべての命題、すなわちその命題集合に基づく論理的帰結全体を指す。 / 特定の命題集合から論理規則を適用して得られる結論(命題)の全集合。
関連語
transitive closure
名詞
前置詞句
集合 X 上
日本語の意味
(順序論や集合論において)与えられた集合 X 上の二項関係 R を含み、推移性を満たすような最小の二項関係。 / (集合論において)与えられた集合 X を含み、推移性を持つ最小の集合。
関連語
algebraic closure
名詞
前置詞句
日本語の意味
代数的閉包: ある体 F に対して、F 上のすべての多項式が完全に因数分解されるような体 G を指す。すなわち、G の各要素は F 上の何らかの多項式の根となり、F 上の全ての多項式の全ての根が G の要素である。
関連語
closure temperature
関連語