删除所有证明环境

删除所有证明环境

我有一个包含一些证明的文档,想要创建一个仅包含定理(以及推论、引理、例子等),但根本不包含证明的版本。

有没有一种简单、自动化的方法来做到这一点?

答案1

我个人使用该versions包来完成这类工作。

\documentclass[12pt]{scrartcl}
\usepackage{amsthm}
    \newtheorem{thm}{Theorem}

\usepackage{versions}
    \includeversion{prop}
    %\excludeversion{prop}
    \includeversion{dem}
    %\excludeversion{dem}

\usepackage{mathtools, amssymb, amsthm}

\begin{document}
\begin{prop}
    \begin{thm}
        \( (a+b)^2 = a^2 + 2ab + b^2\).
    \end{thm}
\end{prop}
\begin{dem}
    \begin{proof}
        \( (a+b)^2 = (a+b)(a+b) = a^2 + ab + ba + b^2 = a^2 + 2ab + b^2 \).
    \end{proof}
\end{dem}
\end{document}

由于我在这里对和\excludeversion{prop}进行了评论\excludeversion{dem},因此thmproof环境都出现了:

在此处输入图片描述

但如果我选择注释\includeversion{dem}并注释掉\excludeversion{dem},证明就会消失。

\usepackage{versions}
    \includeversion{prop}
    %\excludeversion{prop}
    %\includeversion{dem}
    \excludeversion{dem}

在此处输入图片描述

proof如果您已将所有环境封闭在dem由 定义的环境中versions,则相同的方法将适用于所有环境。

相反,您可以选择让环境proof保持不变或让thm环境消失,如果您对这些环境应用相同的操作thm(将它们封闭在prop定义的环境中versions,注释掉/注释掉适当的行:

\usepackage{versions}
    %\includeversion{prop}
    \excludeversion{prop}
    \includeversion{dem}
    %\excludeversion{dem}

在此处输入图片描述

多种多样的可能性使得该解决方案最为灵活。

相关内容