问题标题：
数理逻辑问题:蕴含(->)和推出(├)到底有什么区别?我怎么感觉,A->B就是,A是B成立的前提啊.A├B这两个符号/概念的本质区别是什么?
问题描述：
数理逻辑问题:蕴含(->)和推出(├)到底有什么区别?
我怎么感觉,A->B就是,A是B成立的前提啊.A├B
这两个符号/概念的本质区别是什么?
李慷回答：
蕴含多用于数理逻辑中,A蕴含B,当且仅当A->B为永真
推出多用于数学推导中,A推出B,当且仅当A为真时有B为也真
点击显示
其它推荐
热门其它推荐