今年度から大学一年です。 代数学の、 加法の演算が関係「~」と無矛盾であることを示せ。 という問題の

今年度から大学一年です。
代数学の、
加法の演算が関係「~」と無矛盾であることを示せ。

という問題の回答の手順(例)を教えていただきたいです。
コロナの影響により対面授業がなくなり、テキストもまだ届いていません。しかし課題は出ていて、回答手順が全く分からず困惑しています（ ; ; ）
インターネットで調べてみたもののよくわかりません、、

No.2 回答者： ありものがたり 回答日時： 2020/04/27 14:21

(a〜A かつ b〜B) ならば (a+b)〜(A+B) を証明すればいいでしょう。

具体的な証明は、+ と 〜 の定義を書いてくれないとやりようがありませんが。

ちなみに、普通はそれを「無矛盾である」じゃなくて
「well-definedである」とか「適合する」とかいいます。
その出題者は、数学にあまり慣れていない人なのかな。

No.1 回答者： yhr2 回答日時： 2020/04/26 17:22

＞関係「~」

に相当するものが示されなければ、意味のない質問ですよ？

それすらわかっていいなのかな？