数学符号┐表示什么意思？

在数理逻辑中，不同体系所采用的逻辑符号常常是有所不同的，因此同一个逻辑概念常常可以有几个不同的逻辑符号。如表示“否定”的逻辑符号除“一”外，还有“┐”“～”“一”等。“┐”表示逻辑否定，假设陈述 ¬A 为真，若且唯若 A 为假。逻辑符号定义 逻辑符号是逻辑学中用以表示逻辑形式...