Assertion

Assertion

En linguistique et en philosophie, une assertion représente un énoncé considéré ou présenté comme vrai.

En logique et en mathématiques, une assertion est une proposition mathématique vraie. Cette proposition vraie s'inscrit dans le cadre d'une théorie précisée. Cette même proposition peut d'ailleurs être fausse au sein d'une autre théorie (voir exemples ci-dessous).

En programmation informatique, une assertion est une expression qui doit être évaluée à vrai. Si cette évaluation échoue elle peut mettre fin à l'exécution du programme, ou bien lancer une exception. Par exemple, la fonction assert de la librairie standard du langage C termine l'exécution du programme si l'assertion est fausse. La programmation par contrat et les tests unitaires sont basés sur les assertions.

Exemples et contre exemples

  • 2 + 2 = 4 est une assertion vraie dans la théorie des entiers naturels.
  • e = 2,71 (où e désigne la base du logarithme népérien) est une assertion fausse dans la théorie des nombres réels.
  • « il pleuvra demain » n'est pas une assertion mathématique.
  • L'assertion 1 + 1 = 10 est fausse dans la théorie des entiers mais est vraie dans la théorie des nombres modulo 2. (\mathbb{Z} /2 \mathbb{Z} )

Nous entendons souvent dire que 2 + 2 = 5 est une affirmation fausse ; en fait cela sous-entend que 2 et 5 sont des entiers naturels et en utilisant les axiomes de la définition des entiers naturels, nous aboutissons à une contradiction évidente 1 = 0, par exemple. Mais nous pouvons faire devenir vraie cette égalité en considérant 2 et 5 comme égaux à 0 et en définissant l'addition par 0 + 0 = 0. Nous construisons dans ce cas une autre théorie ; tout le problème est de savoir si ensuite cette théorie sera d'une quelconque utilité. Et pourra-t-on trouver beaucoup d'adeptes de cette théorie ? Après tout des savants italiens du XVIe siècle comme Cardan s'enhardissaient à travailler avec des racines carrées de nombres négatifs et notaient abusivement un certain nombre complexe imaginaire \sqrt{-1} ; cela donna plus tard naissance à la théorie des nombres complexes.

Voir aussi

Sur les autres projets Wikimedia :

Articles connexes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Assertion de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • assertion — [ asɛrsjɔ̃ ] n. f. • 1294; lat. assertio « affirmer » ♦ Proposition (qui, dans sa forme, peut être affirmative ou négative) que l on avance et que l on soutient comme vraie. ⇒ affirmation, thèse. Assertion vraie ou fausse, gratuite, mensongère.… …   Encyclopédie Universelle

  • Assertion — (von lat. assertio, Behauptung) ist ein Terminus der Sprachwissenschaft (Linguistik), der Logik und der Theologie. Er steht für (bestimmte) „Behauptung, Versicherung, Feststellung“. Das zugehörige Adjektiv lautet assertorisch (feststellend,… …   Deutsch Wikipedia

  • Assertion — As*ser tion, n. [L. assertio, fr. asserere.] 1. The act of asserting, or that which is asserted; positive declaration or averment; affirmation; statement asserted; position advanced. [1913 Webster] There is a difference between assertion and… …   The Collaborative International Dictionary of English

  • assertion — ASSERTION. s. f. Terme didactique. Proposition qu on soutient vraie. La seconde assertion est une suite de la première. [b]f♛/b] Il signifie aussi en style de Pratique, Affirmation en Justice. On le renvoya sur son assertion. Il n est guère en… …   Dictionnaire de l'Académie Française 1798

  • assertion — ASSERTION. s. f. Terme dogmatique, Proposition que l on soustient veritable. La seconde assertion est une suitte de la premiere. il y a tant d assertions dans sa these. on le renvoya sur son assertion. Il n est guere en usage …   Dictionnaire de l'Académie française

  • assertion — early 15c., assercioun, from M.Fr. assertion (14c.) or directly from L.L. assertionem (nom. assertio), noun of action from pp. stem of L. asserere claim rights over something, state, maintain, affirm, from ad to (see AD (Cf. ad )) + serere join… …   Etymology dictionary

  • Assertion — (lat.), Behauptung, Versicherung; insbesondere im römischen Recht in Bezug darauf, ob jemand ein Sklave oder freier Mann sei …   Meyers Großes Konversations-Lexikon

  • Assertion — (lat.), Behauptung, Versicherung: assertōrisch, behauptend, versichernd; assertorisches Urteil, das die einfache Tatsächlichkeit aussprechende Urteil …   Kleines Konversations-Lexikon

  • Assertion — Assertion, Behauptung; assertorisch, behauptend; assertorisches Urtheil, die unbedingt ausgesprochene Behauptung. – Assertum, Behauptung …   Herders Conversations-Lexikon

  • assertion — I noun adfirmatio, affirmation, allegation, announcement, asseveration, attestation, averment, avouchment, avowal, declaration, defensio, disclosure, enunciation, expression, insistence, insistence on a claim, insistence on a right, ipse dixit,… …   Law dictionary

  • assertion — [n] declaration, positive statement affirmation, allegation, asservation, attestation, avowal, contention, defense, insistence, maintenance, mouthful, okay, predication, profession, pronouncement, report, say so*, stamp of approval, stressing,… …   New thesaurus

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”