Last Updated：2025/11/29
(logic) A relation between two structures which have the property that every first-order formula is valid in one structure if and only if it is valid in the other.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
elementary equivalence
Edit Histories（0）
Source Word
elementary equivalence
Noun
Japanese Meaning
（論理学）二つの構造間において、任意の第一階論理式が一方の構造で成り立つならばもう一方でも成り立つという性質を有する関係。
（ plural ）
