最終更新日:2025/11/29
編集履歴(0)
元となった辞書の項目

elementary equivalence

名詞
日本語の意味
(論理学)二つの構造間において、任意の第一階論理式が一方の構造で成り立つならばもう一方でも成り立つという性質を有する関係。
このボタンはなに?

これらの構造は同型ではないが、ある構造で真となるすべての一階述語の式が他方でも真となるという関係、すなわち初等同値性を持っている。

plural

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★