摘要：作者：罗心澄链接：https://www.zhihu.com/question/21191299/answer/17469774来源：知乎著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。 在数理逻辑系统中没有使用过，仅在数学证明中使用过。这个符号不是一个标准命题形式语言中的符号。 阅读全文

摘要：做word文档时有时候需要将章节标题加到页眉中，这里实现自动获取和自动更新页眉里面的标题 1.双击页眉，输入固定文字作为页眉左边的显示，然后敲2下table键，为接下来插入自动标题做好准备，如下图： 2.点击【插入】 3.在【插入】选项中找到【文档部件】>>【域】，如图： 4.在【域】里选择【Sty 阅读全文