共用题干题下列结论是否成立？若成立，请证明。若不成立，举反例说明 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

p↓qq↓p

问答题p↓q<=>q↓p