简答题

论述域是{a₀，a₁，a₂，…，a_n}，试证明下列关系式：
（a）xP（x）xP（x）
（b）xA（x）∧Px（A（x）∧P）
（c）x（A（x）∧B（x））xA（x）∧xB（x）
（d）x（A（x）∧B（x））xA（x）∧xB（x）

没L是一个集合，。和·是L上两个二元运算，如果这两个二元运算满足（）律、（）律和（）律，则（L，·，。）是格. 点击查看答案

在非空集合L上定义二元运算。和·，如果（）是交换群，（L，·）是（），而且（）满足分配律，则L对二元运算。和·构成环． 点击查看答案