Un article de Wikipedia.y-project.com.

En mathématiques, dans une théorie donnée, une proposition est un énoncé formé d?un assemblage de symboles et de mots, auquel une valeur de vérité vrai ou faux peut être attribuée, dans certaines conditions mais de la vérité duquel on pourra toujours décider dans toute situation donnée.

Par exemple, « x?? ?k?? x²=2k » est une proposition vraie lorsque x est pair, fausse lorsque x est impair.

« p nombre entier relatif premier, p est impair » est une proposition fausse pour p=2 et p=-2 et vraie pour p en valeur absolue strictement supérieure à 2.

« Aujourd?hui, il neige » n?est pas une proposition.

Une assertion, est une proposition dont on peut affirmer sans ambiguïté, si elle est vraie ou fausse.

Par exemple,

• « Un carré est un rectangle » est une assertion vraie.
• « 0 = 1 » est une assertion fausse.

Mais attention une proposition, peut aussi représenter une assertion vraie, mais dont l?importance ne justifie l?appellation de théorème.

[] Articles connexes

• Logique
• syllogisme.
• Calcul des propositions

 

Réagissez

Commentez l'encyclopédie:
Attention! tous les commentaites inaproprié seront supprimés

Titre:
Video YouTube ou google:	(doit être en rapport avec le sujet)
Votre mail:	(ne sera pas affiché sur le site)
Un pseudo:
Votre site:
Commentaire	(le html n'est pas autorisé, nombre de caractère maximum = 400)
	(Comment eBabylone 1.0 beta)

Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/Proposition (mathématiques)