离散数学谓词逻辑问题:(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重...

发布网友发布时间：2024-03-04 05:24

共2个回答

热心网友时间：2024-03-05 18:03

证明：
∵（p→∃xq(x)）→∃x（p→q）.
= ¬(¬p∨∃xq(x))∨∃x（¬p∨q）.
= （p∧Vx¬q(x) ）∨ ¬p ∨ q.
= （(p∨¬p) ∧ (Vx¬q(x)∨¬p) ）∨q.
= （1∧ (Vx¬q(x)∨¬p) ）∨q.
= (Vx¬q(x)∨¬p) ∨q.
= Vx( ¬p ∨q ∨ ¬q(x) ) .
= Vx( ¬p ∨1 ) .
= 1.

∴该式为重言式。

热心网友时间：2024-03-05 18:01

一般用真值表或者是等价变换，，，我看不太懂你写的什么，但是方法可以用这个。。

声明：本网页内容为用户发布，旨在传播知识，不代表本网认同其观点，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。E-MAIL:11247931@qq.com

离散数学谓词逻辑问题:(p-&gt;&#x2203;xq(x)) -&gt; &#x2203;x(p-&gt;q) 请证明该式为重...

离散数学谓词逻辑问题:(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重...