Cut rule
In mathematical logic, the cut rule is an inference rule of sequent calculus. It is a generalisation of the classical modus ponens inference rule. Its meaning is that, if a formula A appears as a conclusion in one proof and an hypothesis in another, then another proof in which the formula A does not appear can be deduced. In the particular case of the modus ponens, for example occurrences of man are eliminated of Every man is mortal, Socrates is a man to deduce Socrates is mortal.
primaryTopic
Cut rule
In mathematical logic, the cut rule is an inference rule of sequent calculus. It is a generalisation of the classical modus ponens inference rule. Its meaning is that, if a formula A appears as a conclusion in one proof and an hypothesis in another, then another proof in which the formula A does not appear can be deduced. In the particular case of the modus ponens, for example occurrences of man are eliminated of Every man is mortal, Socrates is a man to deduce Socrates is mortal.
has abstract
En logique mathématique, la rè ...... e la formule A n'apparaît pas.
@fr
In mathematical logic, the cut ...... to deduce Socrates is mortal.
@en
Wikipage page ID
Wikipage revision ID
656,957,067
hypernym
type
comment
En logique mathématique, la rè ...... e la formule A n'apparaît pas.
@fr
In mathematical logic, the cut ...... to deduce Socrates is mortal.
@en
label
Cut rule
@en
Règle de coupure
@fr