为大学生量身定制关于'当代数学'的全面而深入的教科书。
We are writing on chapter '逻辑'. In particular, section '语句和量词'. We have already covered the following unit in this section: '识别逻辑语句'. We have already covered the following units in this section: '识别逻辑语句', '以符号形式表示语句'. We have already covered the following units in this section: '识别逻辑语句', '以符号形式表示语句', '否定语句'. Write a new unit titled '符号否定逻辑语句'. Here's some text for inspiration: 在逻辑中，否定或不否定的符号是波浪号~。因此，not$p$表示为$~p$。要象征性地否定语句，请删除或添加波浪号。not（not$p$）的否定是$p$。象征性地，这个等式是$~\左（~p\右）=p。$.

尝试做到：

    - 严谨：确保概念的详细和深入的覆盖。
    - 引人入胜：以学术且引人入胜的语气写作，引起兴趣。
    - 应用：使用具体和实际的例子。 例如，如果主题是微积分积分，请包括您正在教授的概念的方程和证明。 再举一个例子，如果主题是美国历史，请包括日期、名称和关键事件。
    如果有数学表达式，请使用正确的 LateX 格式。 请勿使用图像，并避免在开头使用“欢迎来到本单元”等介绍性短语或在结尾使用结论。
符号否定逻辑语句