数理逻辑问题:蕴含(->)和推出(├)到底有什么区别?
我怎么感觉,A->B就是,A是B成立的前提啊.A├B
这两个符号/概念的本质区别是什么?
人气：207 ℃ 时间：2020-05-23 18:51:26
解答
蕴含 多用于数理逻辑中,A蕴含B,当且仅当A->B为永真
推出多用于数学推导中,A推出B,当且仅当A为真时有B为也真
推荐
猜你喜欢
- he was able to walk when he was 10 months old
- 荣誉权究竟属不属于人格权
- 先化简,再求值:(1)2x2-5x x2 4x,其中x=-3 (2)(3x2-xy-2y2)-2(x2 xy-2y2),其中x=6,y=-1
- not in make the a classroom mess do怎么连
- 电子与电荷有什么区别?
- 什么叫农耕文化,什么叫农业文化
- 一个六位数,最高位上数的数是2,百位上的数是最高位上的数的4倍,个位和十位上的数比百位上的数大,其余数位上是0.这个数写作（ ）.
- give him a cookbook,please.请改为否定句!
