离散数学蕴涵式定义请教

离散数学蕴涵式定义请教

题目
离散数学蕴涵式定义请教
书上的定义说:当条件式是一个重言式时,则该重言式是一个蕴涵式,此处我不甚理解,因为重言式的定义是,一个给定的命题公式,若无论对分量进行怎样的指派,其对应的真值永远为t,而从条件式的定义可知,条件式不可能永远为真,除非限定其两个分量的真值,这个又同重言式的定义矛盾,因此请问,蕴涵式的定义该如何理解呢,万分感激
答案
课本上的定义的写法应该是有点问题,想必是用“P→Q”表示条件式吧?
这里你很容易想到P和Q是两个命题变元吧,实际上这里的P和Q是命题公式,所以写成A→B更合适点.也就是说前件和后件是有关系的,比如P∧Q→P,就是一个重言式
当P,Q都是命题变元的时候,P→Q当然不可能是重言式了.
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
最新试题
热门考点

超级试练试题库

© 2017-2019 超级试练试题库,All Rights Reserved.