bn:11213776n
Noun Concept
Categories: Logique mathématique
FR
règle de coupure  règle des coupures
FR
En logique mathématique, la règle de coupure est une règle d'inférence du calcul des séquents, qui généralise le modus ponens. Wikipedia
Definitions
Relations
Sources
FR
En logique mathématique, la règle de coupure est une règle d'inférence du calcul des séquents, qui généralise le modus ponens. Wikipedia
règle d'inférence du calcul des séquent, géneralisation du modus ponens Wikidata
Wikipedia
Wikidata