可重述非嵌套子定理

可重述非嵌套子定理

我想創建可重述的子定理而不嵌套它們。我正在使用包thmtoolsthm-restate.

透過非嵌套子定理,我的意思是與我們用於節和小節的結構類似:節不包含其段落和小節,但從概念上講,這些都是節的所有子節。在我的 MWE 中,我想建立一個可重述定理(1 號),後面跟著一段常規文本。然後,我想加入一些子定理(編號為 1.x),每個子定理後面跟著一些文字。

AFAIK這個答案不適用於可重設,且thmtools 文檔類似這樣的事也別提。

\documentclass[a4paper]{article}
\usepackage{thmtools,thm-restate}

\newtheorem{goal}{Learning Goal}

\begin{document}
\section{Numbers}
We want to learn about numbers.

\subsection{Small Numbers}
Let's start with small numbers.
\begin{restatable}{goal}{gI}
    Count to 3.
\end{restatable}
Counting to 3 is the most essential skill in the `small number department'.
We will master this skill in a number of steps which are described below.

%This should be sub-goal 1.1
\begin{restatable}{goal}{gI_i}
    The number 1.
\end{restatable}
We will ask Elmo to tell us about the number 1.

%This should be sub-goal 1.2
\begin{restatable}{goal}{gI_ii}
    The number 2.
\end{restatable}
This one will be taken care of by Cookie Monster.

%This should be sub-goal 1.3
\begin{restatable}{goal}{gI_iii}
    The number 3.
\end{restatable}
This is the toughest one so far.
We will have to rely on the Count to explain all about this number.

\section{Letters}
\ldots
\end{document}

答案1

像這樣的東西會起作用嗎?它只是使用 提供的設施thmtools,這似乎與thm-restate. (我對此不確定,但對於您的示例來說,添加後者似乎沒有必要。)

\documentclass[a4paper]{article}
\usepackage{thmtools}

\declaretheorem[name=Learning Goal]{goal}
\declaretheorem[
  name=Learning Goal,
  parent=goal]
  {subgoal}

\begin{document}
\section{Numbers}
We want to learn about numbers.

\subsection{Small Numbers}
Let's start with small numbers.
\begin{restatable}{goal}{gI}
    Count to 3.
\end{restatable}
Counting to 3 is the most essential skill in the `small number department'.
We will master this skill in a number of steps which are described below.

%This should be sub-goal 1.1
\begin{restatable}{subgoal}{gI_i}
    The number 1.
\end{restatable}
We will ask Elmo to tell us about the number 1.

%This should be sub-goal 1.2
\begin{restatable}{subgoal}{gI_ii}
    The number 2.
\end{restatable}
This one will be taken care of by Cookie Monster.

%This should be sub-goal 1.3
\begin{restatable}{subgoal}{gI_iii}
    The number 3.
\end{restatable}
This is the toughest one so far.
We will have to rely on the Count to explain all about this number.


\section{Letters}
\ldots
\end{document}

目標和子目標

相關內容