这是数理逻辑中的一类证明理论及方法，称为反证法。它利用前提为可满足，否则后面推的结论就没有意义的性质，将待证命题的否命题命题中存在矛盾，进而推出待证命题不成立的证明方法。“)”符号经常在形式化逻辑中使用，表示假设某个命题为假从而推导出矛盾的方式。