règle des coupures

concept règle d'inférence du calcul des séquent, géneralisation du modus ponens