Cut rule とは

数学的論理において、カットルールは、後続の計算の推論ルールである。これは古典的modus ponens推論規則の一般化です。その意味は、式Aが一つの証明と他の仮説に結論として現れれば、式Aが現れない別の証明が導かれるということです。 modus ponensの特別なケースでは、例えば人間の発生は排除されています。人間はすべて死に、ソクラテスはソクラテスが死に至ると推論する人間です。