[開設 07/27/23=MM/DD/YY]
『命題 2「全順序集合は分配束である」の証明』の問の答え
(b) の場合：
x ∨ (y ∧ z)
= x ∨ y = x
かつ
(x ∨ y) ∧ (x ∨ z)
= x ∧ z = x なので，
x ∨ (y ∧ z)
= (x ∨ y) ∧ (x ∨ z)．
(c) の場合：
x ∨ (y ∧ z) = x ∨ y
= x かつ
(x ∨ y) ∧ (x ∨ z)
= x ∧ x = x なので，
x ∨ (y ∧ z)
= (x ∨ y) ∧ (x ∨ z)．
命題 2「全順序集合は分配束である」の証明
「分配律と分配束」命題 2
離散構造（室伏）のホーム
