简答题 试证明：（∃x）（P（x）∧R（x））⇒（∃x）P（x）∧（∃x）R（x）。

试证明：（P→（Q∨¬R））∧¬P∧Q 与¬（P∨¬Q）等价。

问答题试证明：（P→（Q∨¬R））∧¬P∧Q 与¬（P∨¬Q）等价。

设A 是传递集，证明A+也是传递集。

问答题设A 是传递集，证明A+也是传递集。

设R，S 都是非空集合A 上的二元关系，且他们是对称的，证明：RoS 具有对称性当且仅当RoS=SoR。

问答题设R，S 都是非空集合A 上的二元关系，且他们是对称的，证明：RoS 具有对称性当且仅当RoS=SoR。