例えば、論理式T=◻x→x{\displaystyleT=\Boxx\rightarrowx}において、ボックス部分論理式は◻x{\displaystyle\Boxx}のひとつだけである。
例如，在公式T=◻x→x{\displaystyleT=\Boxx\rightarrowx}中，只有一个单一的“加方框的子公式”◻x{\displaystyle\Boxx}。