Barring any contradictions in the technically precise definition above we can describe sequents in their introductory logical form.
剥离在上面的技术性精确定义中的任何矛盾，我们可以按它们的介绍性的逻辑形式来描述相继式。