在https://www.logicmatters.net/resources/pdfs/L4LProoftrees.pdf\absurd，在诸如的表达式中使用预定义表达式close with=\absurd。
这该如何定义？
在 prooftrees 中定义 \absurd
在https://www.logicmatters.net/resources/pdfs/L4LProoftrees.pdf\absurd，在诸如的表达式中使用预定义表达式close with=\absurd。
这该如何定义？