为大学生量身定制关于'当代数学'的全面而深入的教科书。
We are writing on chapter '逻辑'. In particular, section '逻辑参数'. We have already covered the following unit in this section: '超然法则'. Write a new unit titled '否定结果定律'. Here's some text for inspiration: 有效条件论证的另一种形式称为否定结果定律，或modus tollen。回想一下，条件语句$p\to q$在逻辑上等价于对立面，$~q\to\text{}~p$。因此，如果条件语句为真，那么对立面语句也为真。根据分离定律，如果$~q$也是真，那么$~p$也必须是真。象征性地，它的形式为$\左（\左（p\to q\right）\wedge~q\right）\to\text{}~p$。.

尝试做到：

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