懂离散数学的进确定下面的论证过程是否有效p→q∨rp∨¬qr∨q________∴q