计算题 证明下列等价式：¬（p↑q）<=>¬p↓¬q

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

问答题

设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