Last Updated :2025/11/29

elementary equivalence

Noun
Japanese Meaning
(論理学)二つの構造間において、任意の第一階論理式が一方の構造で成り立つならばもう一方でも成り立つという性質を有する関係。
What is this buttons?

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

plural

Quizzes for review

(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

Although the structures are not isomorphic, they still have elementary equivalence because every first-order sentence true in one is true in the other.

See correct answer

Although the structures are not isomorphic, they still have elementary equivalence because every first-order sentence true in one is true in the other.

音声機能が動作しない場合はこちらをご確認ください

English - English

Word Edit Setting
  • Users who have edit permission for words - All Users
  • Screen new word creation
  • Screen word edits
  • Screen word deletion
  • Screen the creation of new headword that may be duplicates
  • Screen changing entry name
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Sentence Edit Setting
  • Users who have edit permission for sentences - All Users
  • Screen sentence deletion
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Quiz Edit Setting
  • Users who have edit permission for quizzes - All Users
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Editing Guideline

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★