Proof Verification Relational Predicate Logic

76 Views Asked by At

I am trying to solve this logic puzzle.

May you tell me if my answer is correct?

Thank you for your help!

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)]\}$

1

There are 1 best solutions below

1
On BEST ANSWER

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!