展开 与逻辑的逻辑符号