# Proof Verification Relational Predicate Logic

I am trying to solve this logic puzzle.

May you tell me if my answer is correct?

No doctor who prescribes medicine with side effects for a patient who has no ailment will be respected by any of his peers unless he or she has a large practice or a large bank account.

$\forall x \{[Dx \land \exists y (Py \land \exists t (At \land \neg Hyt) \land \exists r (Mr \land Sr \land Txyr))] \rightarrow$

$[\forall u (Ou \rightarrow \neg Rux) \lor \exists w (Pw \land Hxw\land Lw) \lor \exists z (Bz \land Lz)]\}$

• I improved formatting. Take a look at how you show these logical symbols so you can do this for next time. – Bram28 Nov 28 '16 at 19:29

I assume you need a predicate $Hxz$ added at the very end (though inside the scope of the $\exists z$ of course), but otherwise it is good!