[GLOSSARY]「○○ equality」の訳語について

[s-taiga]

提案対象の用語

• definitional equality
• boolean equality
• propositional equality

提案内容
現状それぞれ「定義上の同値」・「真偽値の同値」「命題の同値」と訳しているところを以下のようにする。

• 定義上の等しさ
• 真偽値上の等しさ
• 命題上の等しさ

提案理由
https://discord.com/channels/1158626667217035305/1302853621666414593/1302857893250334720
こちらで提案いただいたように、同値はequivalenceであるため。

[s-taiga]

@imamuray
お忙しいところ恐縮ですがこちらご確認いただけますと幸いですm(_ _)m
何卒宜しくお願い致します。

[imamuray]

@s-taiga
提案理由のリンク先を確認しました。
変更内容に問題ないと思います。

[s-taiga]

@imamuray
ご確認ありがとうございます！
そうしましたらこの内容で全体的に修正行いたいと思います。