\text { , }\\ \text { prove that } a \rightarrow b=\bigvee\{x \in L: a \wedge x \leq b\} . \end{array}
Fig: 1
Fig: 2