逻辑学├ 表示什么

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/26 10:24:38

逻辑学├ 表示什么

逻辑符号的涵义都是人为约定的.你要看这个符号在逻辑表达式中的涵义才能明白他的具体涵义.
有一些逻辑学家用“├”表示蕴涵的意思,你可以理解为推出,这种涵义现在一般用右箭头“→”来表示;也有的逻辑学家把“├”放在表达式的开头,表示其后的表达式是一个逻辑定理.