作业帮 > 综合 > 作业

逻辑学├ 表示什么

来源:学生作业帮 编辑:作业帮 分类:综合作业 时间:2024/05/05 09:44:13
逻辑学├ 表示什么
逻辑符号的涵义都是人为约定的.你要看这个符号在逻辑表达式中的涵义才能明白他的具体涵义.
有一些逻辑学家用“├”表示蕴涵的意思,你可以理解为推出,这种涵义现在一般用右箭头“→”来表示;也有的逻辑学家把“├”放在表达式的开头,表示其后的表达式是一个逻辑定理.