补余律造句
- 已经证明了布尔代数中的补余律在泛布尔代数系统中是成立的。
- 这样,在泛布尔代数中(交换律、分配律、0?1律、结合律)和证明了的补余律一起构成布尔代数公理系统。
- 从这些定律出发,特别是只需以其中的交换律、分配律、前两个幺元律和补余律作为初始定律即公理,就可以推导出类逻辑的所有定律(定理)。
- 显而易见,这种数学模型中的规则,除了上面(1)与(2)两个规则不同于布尔代数的“补余律”之外,其余结合律、交换律、分配律和0-1律等均与布尔代数中一样成立,故称为泛布尔代数。
- 用补余律造句挺难的,這是一个万能造句的方法