数理逻辑问题:蕴含(->)和推出(├)到底有什么区别?
题目
数理逻辑问题:蕴含(->)和推出(├)到底有什么区别?
我怎么感觉,A->B就是,A是B成立的前提啊.A├B
这两个符号/概念的本质区别是什么?
答案
蕴含 多用于数理逻辑中,A蕴含B,当且仅当A->B为永真
推出多用于数学推导中,A推出B,当且仅当A为真时有B为也真
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
最新试题
热门考点
- 以美丽的瞬间为题目写一篇600字作文
- 解放军训练,302人以两路纵队跑过一座桥,已知从第一排战士上桥到最后一排战士下桥,(续下面)
- 已知三角形ABC的面积为56平方厘米,是平行四边形DEFC的2倍.求阴影部分的面积.急
- "I still love you!Will never forsake!"的中文意思是?
- 1、补充句子 公园美得( )
- 读例句,写句子.
- 已知函数y=|x-b|,当x=1或3时,
- 已知O为A,B,C三点所在直线外一点,且OA=λOB+μOC,数列{an},{bn}满足a1=2,b1=1,且an=λa(n-1)+μb(n-1)+1,bn=μ(an-1)+λb(n-1)+1 (n大
- 东西两城相距120千米.甲、乙两辆汽车各自从两城同时相向驶出,相遇时甲车行了全程的一半还多10千米,相遇时,乙车行了_千米.
- our school trip is ( ) May 应该填什么