在自然演绎规则中移动数学符号的位置

Question

编写此 LaTex 代码

\documentclass[]{article}

\usepackage{mathtools}

\begin{document}
\newcommand{\debox}[1]{\boxed{\begin{matrix}#1\end{matrix}}_{\strut}\hspace{0.1cm}}

\[
\dfrac{\phi \lor \psi \qquad \debox{\phi \\ \vdots \\ \chi} \debox{\psi \\ \vdots \\ \chi}}{\chi}
\]
\end{document}

输出结果如下：

是否可以移动逻辑析取的位置，使其刚好位于水平线上方，而不是占据这么大的垂直空间？

Answer 1

这就是你想要的东西吗？

\documentclass{article}

\usepackage{mathtools, amssymb}
\newcommand{\debox}[1]{\boxed{\begin{matrix}#1\end{matrix}}_{\strut}\hspace{0.1cm}}

\begin{document}

\[
\dfrac{\phi \raisebox{-5.5ex}{$\mathrlap{ \lor }$}\mathrel{\vphantom{\lor}} \psi \qquad \debox{\phi \\ \vdots \\ \chi} \debox{\psi \\ \vdots \\ \chi}}{\chi}
\]

\end{document}

Answer 2

这不是对你问题的直接回答，但我确实想知道，当有许多非常好的软件包可用于设置自然演绎证明时，为什么你要重新发明轮子，让自己的生活变得艰难？

查看 Latex for Logicians 页面，特别是https://www.logicmatters.net/latex-for-logicians/nd/