逻辑学，pvq,puq,p推q,q推p,pq互推，他们的有效式是什么，合成式和分解式
发布网友
共1个回答
热心网友
你的问题中，第一个命题形式是pvq，第二个应该不是puq吧，是不是你打错了，或者符号无法打出来？你可以用手机拍照后，把图片发上来。
现对第一个命题构成的推理解答如下。
pvq是一个相容的选言命题，根据它的逻辑性质，构成的有效推理形式只能是否定肯定式，有以下两种：
（1）
pvq
﹁p
所以q
其蕴涵式表示为（（pvq）∧﹁p）→q
(2)
pvq
﹁q
所以p
其蕴涵式表示为（（pvq）∧﹁q）→p
这两种推理形式本质上是一样的，都是通过否定一个支命题，推出对其余支命题的肯定。
