Question

大学离散数学，请用间接法证明下列蕴含式(∀x)(P(x)VQ(x))==>(∃x)乛P(x)→（∃x）Q(x)

Answer 1

问：大哗答袜学离散数学，请用间接法证举雀明下列蕴乱激含式(∀x)(P(x)VQ(x))==>(∃x)乛P(x)→（∃x）Q(x)

答：从字面上来理解：（1）前者表示：对任意一个x，P和Q等价；烂判即：P和Q要么同为真，要么同为假。（2）后者表示：“P对任意x都成立”，和“Q对任意x都成立”等价。 即：当P和Q之中，有一个对所有x都成立时，另一个也对所隐粗有x都成立；换言之，当其中一个不能保证对所有x都成立时，另一个也将不能保证对所饥携改有x都成立。

答：因为谓词早纤羡公式A：P(x)∨¬竖雀P(x)是永真式所以P(x)→Q(x)⇔¬P(x)∨陆拍Q(x

答：设x∈｛1,2｝，那么：当P（1）＝晌档0、P（2）＝1、Q（1）＝1、Q（2）＝0时宴丛乱郑芦：命题（1）为假，而命题（2）为真。

答：你这个式子就像是全部求反