| Attributes | Values |
|---|
| rdfs:label
| - Condition nécessaire (fr)
- Warunek konieczny (pl)
|
| rdfs:comment
| - Dire que A est une condition nécessaire pour B signifie que pour que B soit réalisée, il faut que A le soit. Une condition A nécessaire pour B peut ne pas être suffisante, c'est-à-dire que A peut être réalisée sans que B le soit, mais si B est réalisée, c'est « nécessairement » que A l'est aussi. Par exemple une condition nécessaire pour qu'il pleuve est qu'il y ait des nuages ; cette condition n'est pas suffisante. En mathématiques une condition nécessaire pour qu'un nombre entier relatif soit un carré parfait (le carré d'un nombre entier) est qu'il soit positif ou nul ; cette condition n'est pas suffisante. Quand une condition nécessaire est aussi suffisante on parle de condition nécessaire et suffisante. (fr)
|
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| has abstract
| - Dire que A est une condition nécessaire pour B signifie que pour que B soit réalisée, il faut que A le soit. Une condition A nécessaire pour B peut ne pas être suffisante, c'est-à-dire que A peut être réalisée sans que B le soit, mais si B est réalisée, c'est « nécessairement » que A l'est aussi. Par exemple une condition nécessaire pour qu'il pleuve est qu'il y ait des nuages ; cette condition n'est pas suffisante. En mathématiques une condition nécessaire pour qu'un nombre entier relatif soit un carré parfait (le carré d'un nombre entier) est qu'il soit positif ou nul ; cette condition n'est pas suffisante. Quand une condition nécessaire est aussi suffisante on parle de condition nécessaire et suffisante. En logique affirmer que A est une condition nécessaire pour B revient à affirmer que B implique A, soit en symboles, B ⇒ A. Il s'agit d'une autre façon d'exprimer ce connecteur logique (l'ordre des arguments étant renversé).
* Portail de la logique
* Portail des mathématiques (fr)
|
| is part of
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)