定理13,1 (3)显然a≤a∨a, 又由a≤a可得aVa≤a。 根据反对称性有a∨a=a, 由对偶原理,a∧a=a得证。 (4)显然aV(a∧b)≥a (13.5) 又由a≤a,a∧b≤a可得 aV(a∧b)≤a (13.6 由式13.5和13.6可得aV(a∧b)=a, 根据对偶原理,a∧(a∨b)=a得证。定理13.1 (3)显然a≤a∨a, 又由a≤a可得 a∨a≤a。 根据反对称性有 a∨a＝a， 由对偶原理，a∧a＝a 得证。 (4)显然 a∨(a∧b)≥a (13.5) 又由 a≤a，a∧b≤a 可得 a∨(a∧b)≤a (13.6) 由式13.5和13.6可得 a∨(a∧b)＝a， 根据对偶原理，a∧(a∨b)＝a 得证