问答题
p↓（q↓r）<=>（p↓q）↓r
问答题 证明：若集合A上的关系R1，R2满足R1⊆R2，则对任一A上的关系R3有 R1οR3⊆R2οR3 R3οR1⊆R3οR2
问答题 p↑（q↑r）（p↑q）↑r
问答题 p↓qq↓p
