"P→Q"真假值的这种取法也有人为因素,表现在:
(1) 根据P→Q真假值取法的定义可以看出,若P为假,不论Q是否为真,则P→Q为真。我们来看命题
如果月亮从西边出来,则太阳也从西边出来。
由定义这是一个真命题,但这使人感到有点不自然,既然月亮不会从西边出来,我们完全可以认为这个命题毫无用处或毫无意义。但是,我们感兴趣的主要是(数学)推理和证明的方法,在这种情况下,命题P→Q真的意义在于我们能从P真推出Q真,而没有必要追求从P假能推出什么来。例如,关于整数的如下命题:
对某个实数n,如果n > 2,那么n2 > 4。
这是个真命题,而无须考虑命题变项取什么值。
(2) 蕴涵词可以连接两个以上意义毫不相干的命题,只要前件和后件满足P?Q为真的定义所规定的条件,我们便可说"P→Q为真"。P→Q真假的这种规定也引起了争论。例如:
如果地球停止了转动,则大熊猫产在中国。
但注意到,我们关心的是推理,关心能否从P真推出Q真,关心各命题之间实际意义是否有联系。
太复杂……
追答你可以这么想,把它想象成一种纯数学的逻辑,不用考虑事实情况。
比如:命题为1=2,2=4,根据推论3等于几呢?根据推论3=6,
但是事实是3=3
不用考虑客观事实是吧?
追答不用,就是数学逻辑问题
为什么非p蕴含q是真的?很难理解,求解释,离散数学
"P→Q"真假值的这种取法也有人为因素,表现在:(1) 根据P→Q真假值取法的定义可以看出,若P为假,不论Q是否为真,则P→Q为真。我们来看命题如果月亮从西边出来,则太阳也从西边出来。由定义这是一个真命题,但这使人感到有点不自然,既然月亮不会从西边出来,我们完全可以认为这个命题毫无用处或...
离散数学中的蕴含弄不懂啊,求教,离散数学
P→Q,它表示自然语言的,“如果…,则…”,显然当P为真命题,而Q为假命题时,P→Q是一个假命题,但是当P为假时,无论此时Q是真命题还是假命题,P→Q的真假好象无法判断,但实际中,将P为假这种情况一律规定P→Q为真是合理的,这称为“善意推定”,例如命题“如果2+3=4,则太阳从东边出来”,“如果2...
离散数学蕴含中 蕴含是什么关系 书上写的 当且仅当P真Q假时 P->Q为...
回答:看来你们数字逻辑还没有学,实际上,离散数学的第一部分是数字逻辑的一个延伸,其内容本质上一样,不过运算符号变了。对于其运算,有一下对应关系:a∨b=a+b,a^b=ab,a→b=「a∨b=「a+b,a??b=a⊙b=(ab+「a「b),所以你再进行任何逻辑推理时,只要知道这些,解题就会得心应手。另外,对于...
为什么规定无论q是真是假,p→q均为真 离散数学中蕴涵式的问题
哪有这个规定?应该是:p为假时,无论q是真是假,p→q均为真。可以理解为p假时,推导出任何结论都是可能的
离散数学 如何理解中的[q,除非┑p]?感觉书中解释的很拗口.
[q,除非┑p] 意即 ┑q→┑p。事实上,如,若记 q:我会来的,p:我有空 则 [若我没来,则是我没空] <==> [我会来的,除非我没空] 表为 ┑q→┑p <==> [q,除非┑p]。
除非p,否则非q 这句话的逻辑关系是:p蕴含q还是q蕴含p 为什么?
我也说不清楚。我觉得这句话可以解释为:除非是P,不然就都不是Q,也就是说,只有属于P的才可能属于Q,不属于P的都不在Q里,说明Q都在P里面。或者把p和q的表述变换一下来进行验证。Q蕴含P肯定是不对的,如果是Q蕴含P,那么非P也可能是Q。如果P蕴含Q不对,那问题本身提得就有问题。因为问题...
蕴含式中 【前假后真】为什么是真?
离散数学的内容。p→q=非p∨q 只有前真后假才是假命题。换我们的话说就是假的东西它怎么蕴含都是真的,因为它本身是假的无法确定它要如何才能是无真,比如说小明不是人,那他可能是猫,可能是狗,可能是鬼,只要他不是人,他有很多种情况。
离散数学蕴含式
其实你列举的几个都是说如果p成立,则q必须成立,蕴含联结词确实为很多人诟病,并且还有很多替代方案,但是替代方案都更复杂,而且没有一个得到大家公认,因此用蕴含联结词是最简单的情况,其它更复杂的逻辑,要专门去读逻辑专业,逻辑的基础到底可靠不可靠,这个不是逻辑内部能解决的,要到哲学里去讨论,...
离散数学的蕴涵运算
A→B 表示蕴含关系。意思是A真的话,就能够推出B也真(A为假时,约定B随便真假,蕴含式都为真)。蕴含可以按照字面上来理解,即A这件事的发生,暗中表明B这件事也发生了。用集合的观点,等价来看,就是A集合包含B集合。等价于¬A∨B ...
一个离散数学问题
用p'表示非p,(1)原式=(p'→q)'∨(q'∨p)=(p∨q)'∨q'∨p =(p'∧q')∨q'∨p =q'∨p,p=1或q=0时为真。(2)原式=(p'∨q)'∧q=p∧q'∧q=Φ.(3)原式=[p∨(q∧r)]'∨(p∨q∨r)=p'∧(q∧r)'∨p∨q∨r =p'∧(q'∨r')∨p∨q∨r =(p'∨p)∧(q'...