逻辑学├表示什么

逻辑学├表示什么

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