离散数学II第六章格和布尔代数

由格⟨ 𝐴, 4 ⟩诱导的代数系统的并(交)运算，正好是由格⟨ 𝐴, < ⟩诱导的
代数系统的交(并)运算。

对偶原理：
设 𝑃 是对任意格都为真的命题，将 𝑃 中的 4, ∨, ∧ 分别换成 <, ∧, ∨ 得 命题 𝑄，则 𝑄 对任意格也是真的命题。( 𝑄 称为 𝑃 的对偶命题。)

接下来的内容详见本人上传的资源