如何证明离散数学的谓词推理定律我也知道呀,可老师布置作业让证明这两道定律,求推理过程。