(Solved): Formal Proofs in PQL (5 points) Construct a formal proof of validity for the following symbolized a ...

Formal Proofs in PQL (5 points) Construct a formal proof of validity for the following symbolized argument. You must format your proof according to our course standards and only use rules covered in our course. 15. \( ( \) La \( \rightarrow \forall x R x), \forall x L x,(\forall x F x \rightarrow \exists z(M z \& H z)), \forall x F x \mid( \) Ra\& \( \rightarrow x M x) \)