About: http://fr.dbpedia.org/resource/Règle_de

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. Sa signification est que, si une formule A apparaît comme conclusion dans un séquent et comme hypothèse dans un autre, on peut alors inférer un séquent dans lequel la formule A n'apparaît pas.

Property	Value
dbo:abstract	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. Sa signification est que, si une formule A apparaît comme conclusion dans un séquent et comme hypothèse dans un autre, on peut alors inférer un séquent dans lequel la formule A n'apparaît pas. (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. Sa signification est que, si une formule A apparaît comme conclusion dans un séquent et comme hypothèse dans un autre, on peut alors inférer un séquent dans lequel la formule A n'apparaît pas. (fr)
dbo:isPartOf	dbpedia-fr:Calcul_des_séquents
dbo:wikiPageID	10290492 (xsd:integer)
dbo:wikiPageLength	1809 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	185013670 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Calcul_des_séquents category-fr:Logique_mathématique category-fr:Wikipédia:ébauche_mathématiques dbpedia-fr:Lemme_(mathématiques) dbpedia-fr:Logique_mathématique dbpedia-fr:Règle_d'inférence dbpedia-fr:Théorème_d'élimination_des_coupures dbpedia-fr:Modus_ponens
prop-fr:art	Cut rule (fr) Cut rule (fr)
prop-fr:id	656957067 (xsd:integer)
prop-fr:lang	en (fr) en (fr)
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Confusion dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Ébauche
dct:subject	category-fr:Logique_mathématique category-fr:Wikipédia:ébauche_mathématiques
rdfs:comment	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. Sa signification est que, si une formule A apparaît comme conclusion dans un séquent et comme hypothèse dans un autre, on peut alors inférer un séquent dans lequel la formule A n'apparaît pas. (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. Sa signification est que, si une formule A apparaît comme conclusion dans un séquent et comme hypothèse dans un autre, on peut alors inférer un séquent dans lequel la formule A n'apparaît pas. (fr)
rdfs:label	Règle de coupure (fr) Règle de coupure (fr)
rdfs:seeAlso	https://ncatlab.org/nlab/show/cut_rule
owl:sameAs	dbr:Cut_rule wikidata:Q18400501 dbpedia-pt:Regra_do_corte dbpedia-ru:Сечение_(теория_доказательств) http://g.co/kg/m/012zdq4g http://ma-graph.org/entity/2779200002
prov:wasDerivedFrom	wikipedia-fr:Règle_de_coupure?oldid=185013670&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Règle_de_coupure
is dbo:wikiPageDisambiguates of	dbpedia-fr:Coupure
is dbo:wikiPageWikiLink of	dbpedia-fr:Calcul_des_séquents dbpedia-fr:Coupure dbpedia-fr:Logique_paracohérente dbpedia-fr:Raisonnement dbpedia-fr:Règle_d'inférence dbpedia-fr:Théorème_d'élimination_des_coupures dbpedia-fr:Modus_ponens
is oa:hasTarget of	tag-fr:WdtFrResource
is foaf:primaryTopic of	wikipedia-fr:Règle_de_coupure

About: http://fr.dbpedia.org/resource/Règle_de_coupure