| Property |
Value |
| dbo:abstract
|
- En logique propositionnelle, l'élimination de la disjonction (parfois nommée preuve par cas, ou l'élimination du ou), est la forme d'argument valide et règle d'inférence qui permet d'éliminer une déclaration disjonctive d'une démonstration logique. Elle est l'inférence selon laquelle si une déclaration implique une déclaration , qu'une déclaration implique aussi , et que ou est vrai, alors est vrai. Par exemple: Si je suis à l'intérieur, j'ai mon portefeuille sur moi.Si je suis à l'extérieur, j'ai mon portefeuille sur moiCeci est vrai que ce soit à l'intérieur ou à l'extérieur.Par conséquent, j'ai mon portefeuille sur moi. Cette règle peut être énoncée comme suit: où la règle est que chaque fois que les instances de « », et « » et « » apparaissent sur les lignes d'une démonstration, « » peut être placé sur la ligne de conclusion. (fr)
- En logique propositionnelle, l'élimination de la disjonction (parfois nommée preuve par cas, ou l'élimination du ou), est la forme d'argument valide et règle d'inférence qui permet d'éliminer une déclaration disjonctive d'une démonstration logique. Elle est l'inférence selon laquelle si une déclaration implique une déclaration , qu'une déclaration implique aussi , et que ou est vrai, alors est vrai. Par exemple: Si je suis à l'intérieur, j'ai mon portefeuille sur moi.Si je suis à l'extérieur, j'ai mon portefeuille sur moiCeci est vrai que ce soit à l'intérieur ou à l'extérieur.Par conséquent, j'ai mon portefeuille sur moi. Cette règle peut être énoncée comme suit: où la règle est que chaque fois que les instances de « », et « » et « » apparaissent sur les lignes d'une démonstration, « » peut être placé sur la ligne de conclusion. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2344 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:art
|
- Disjunction elimination (fr)
- Disjunction elimination (fr)
|
| prop-fr:date
|
- novembre 2016 (fr)
- novembre 2016 (fr)
|
| prop-fr:id
| |
| prop-fr:lang
| |
| prop-fr:thème
|
- mathématiques (fr)
- mathématiques (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En logique propositionnelle, l'élimination de la disjonction (parfois nommée preuve par cas, ou l'élimination du ou), est la forme d'argument valide et règle d'inférence qui permet d'éliminer une déclaration disjonctive d'une démonstration logique. Elle est l'inférence selon laquelle si une déclaration implique une déclaration , qu'une déclaration implique aussi , et que ou est vrai, alors est vrai. Par exemple: Cette règle peut être énoncée comme suit: (fr)
- En logique propositionnelle, l'élimination de la disjonction (parfois nommée preuve par cas, ou l'élimination du ou), est la forme d'argument valide et règle d'inférence qui permet d'éliminer une déclaration disjonctive d'une démonstration logique. Elle est l'inférence selon laquelle si une déclaration implique une déclaration , qu'une déclaration implique aussi , et que ou est vrai, alors est vrai. Par exemple: Cette règle peut être énoncée comme suit: (fr)
|
| rdfs:label
|
- Disjunction elimination (en)
- Eliminación de la disyunción (es)
- Eliminação da disjunção (pt)
- Élimination de la disjonction (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
