本文主要是介绍离散数学II第六章格和布尔代数,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
由格⟨ 𝐴, 4 ⟩诱导的代数系统的并(交)运算,正好是由格⟨ 𝐴, < ⟩诱导的
代数系统的交(并)运算。
对偶原理:
设 𝑃 是对任意格都为真的命题,将 𝑃 中的 4, ∨, ∧ 分别换成 <, ∧, ∨ 得 命题 𝑄,则 𝑄 对任意格也是真的命题。( 𝑄 称为 𝑃 的对偶命题。)
接下来的内容详见本人上传的资源
这篇关于离散数学II第六章格和布尔代数的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!