Logic 我如何演绎地证明下面的逻辑陈述？

我有以下逻辑陈述：

If (P OR Q) and
   (P => Q) and
   (Q => P)
Then 
   (P AND Q)

我被告知使用多萝西定律，即：

If (A => B)
Then (A OR B => B)

---

我想不出解决这个问题所需要的确切的推理规则和/或定律。谢谢。

您在这里使用逗号是不明确的。请用括号代替。你不是必须以（P或Q）和（P=>Q）和（Q=>P）开头吗？@amorimluc你可以参考这个[对不起，还有一个问题我会接受。我仍然不确定你为什么以（P或Q）和（Q或P）开头）.你是从结论开始的吗？你介意在解决方案中再添加一些中间步骤吗？@amorimluc我没有直接开始。注意前两行，我已经将它们和。。。

P => Q Therefore P OR Q => Q
Q => P Therefore Q OR P => P

Finally,

(P OR Q) AND (Q OR P)=( P AND (Q OR P)) OR (Q AND (Q OR P))
                     =((P AND Q) OR (P AND P))  OR ((Q AND Q) OR (Q AND P))
                     =(P AND Q) OR (Q AND P)
                     =P AND Q