如何才能演绎地证明下面的逻辑陈述？
如何才能演绎地证明下面的逻辑陈述？
提问于 2013-02-19 11:30:32
我有以下逻辑陈述：
If (P OR Q) and
(P => Q) and
(Q => P)
Then
(P AND Q)我被告知要使用多萝西定律，即：
If (A => B)
Then (A OR B => B)我找不出确切的推理规则和/或解决这个问题所需的法则。谢谢。
回答 1
Stack Overflow用户
回答已采纳
发布于 2013-02-19 11:38:47
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页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/14949356
复制相关文章
相似问题
腾讯云开发者
