问答题
证明：若集合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
p↑qq↑p
问答题p↑q<=>q↑p
