如，我们希望在十字转门的formula_6端见到"苏格拉底是必死的"。在这个意义上，formula_2意味着推理过程，或者英语中的"所以"。我们对这些符号指派的意思是有所助益的。规则自身按机械性本质来运做而不承载潜在的意义。这个主题的详情请参见哥德尔不完备定理。
例子.一个典型的相继式： 它声称要么formula_10要么formula_11可以推导自formula_12且formula_13。
性质.因为在（左边的）的前件中的所有公式都必须为真来