ブール代数 相対性原理

Aにおいてx≦y ⇔ Aにおいてx∨y=y ⇔ Aにおいてy∨x=y ⇔ Adにおいてy・x=y ⇔ Adにおいてy≦x ⇔ Adにおいてx≦y

で、一番さいごに、双たいなブール代数においてxとyの書き方を逆にする、理由を教えてください。
順序関係

No.2 回答者： Tacosan 回答日時： 2022/12/11 21:53

・「ブール代数系」とはどういうものなのか. どのように定義されていて, どのような性質を持っているのか.

・「≦」と「∨」や「・」とはどのような関係にあるのか. それぞれどう「定義」されているのか.
・「AとAｄは互いに双たいのブール代数系」とはどういうことか. どのように定義しているのか.
・「双たいなブール代数においてxとyの書き方を逆にする」とはどういうことなのか.
・そもそも「Aにおいてx≦y ⇔ Aにおいてx∨y=y ⇔ Aにおいてy∨x=y ⇔ Adにおいてy・x=y ⇔ Adにおいてy≦x ⇔ Adにおいてx≦y」とかいうのがいったいどこに書いてあったのか.

この回答へのお礼

ㅤㅤㅤ

お礼日時：2022/12/12 01:31

No.1 回答者： Tacosan 回答日時： 2022/12/10 17:20

A とか Ad とかってなんだ. 「≦」「∨」「・」とはどう定義しているのか.

「双たい」とはどういう意味なのか. そして「双たいなブール代数においてxとyの書き方を逆にする」とはどういうことなのか.

この回答へのお礼

AとAｄは互いに双たいのブール代数系で、・は AND ∨は OR ≦は、大小比較の順序関係です。

お礼日時：2022/12/10 18:18