...pvq,puq,p推q,q推p,pq互推,他们的有效式是什么,合成式和分解式_百...
发布网友
发布时间：2024-10-01 09:25
共1个回答
热心网友
时间：2024-11-14 05:52
现对第一个命题构成的推理解答如下。
pvq是一个相容的选言命题，根据它的逻辑性质，构成的有效推理形式只能是否定肯定式，有以下两种：
（1）
pvq
﹁p
所以q
其蕴涵式表示为（（pvq）∧﹁p）→q
(2)
pvq
﹁q
所以p
其蕴涵式表示为（（pvq）∧﹁q）→p
这两种推理形式本质上是一样的，都是通过否定一个支命题，推出对其余支命题的肯定。
