数理逻辑问题:蕴含(->)和推出(├)到底有什么区别?我怎么感觉,A->B就是,A是B成立的前提啊.A├B这两个符号/概念的本质区_其他解答 - 作业小助手

> 其他 >

数理逻辑问题:蕴含(->)和推出(├)到底有什么区别?
我怎么感觉,A->B就是,A是B成立的前提啊.A├B
这两个符号/概念的本质区别是什么?

人气：286 ℃　时间：2020-05-23 18:51:26

解答

蕴含多用于数理逻辑中,A蕴含B,当且仅当A->B为永真
推出多用于数学推导中,A推出B,当且仅当A为真时有B为也真

推荐

猜你喜欢

© 2026 79432.Com All Rights Reserved.
电脑版|手机版