计算题

设R为集合A上的任一关系，求证对一切正整数n有

p↓（q↓r）（p↓q）↓r

问答题p↓（q↓r）<=>（p↓q）↓r

证明：若集合A上的关系R1，R2满足R1⊆R2，则对任一A上的关系R3有 R1οR3⊆R2οR3 R3οR1⊆...

问答题

证明：若集合A上的关系R1，R2满足R1⊆R2，则对任一A上的关系R3有
R1οR3⊆R2οR3
R3οR1⊆R3οR2

p↑（q↑r）（p↑q）↑r

问答题p↑（q↑r）<=>（p↑q）↑r