Assertion

De Willforge
Aller à : navigation, rechercher

But formalisé de cette page[modifier]

Cette page a pour but

  1. de définir Assertion
  2. de donner une définition compréhensible par tous
  3. de donner une définition ne comportant aucun terme ambigu

Définition informelle[modifier]

définition de Wikipédia

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.



d'après Wikipédia

Définition formalisée[modifier]

  1. une assertion ne contient pas de conjonction (et, or, mais, quoique, bien, que, puis. Vernant p. 36)
  2. une assertion est traduisible en formule du calcul des prédicats

assertion-non-validée[modifier]

Une assertion non validée est le résultat de la transformation d'une doléance en une blockchain-doléance par le protocole de transformation d'une doléance en assertions.

assertion-validée[modifier]

Une assertion est validée grâce au protocole de validation d'une assertion c'est une feuille de l'arbre-constitution

assertion-négative[modifier]

Une assertion négative traduit une doléance.

Les exemples[modifier]

Les contre-exemples[modifier]

Les autres définitions[modifier]

Les preuves[modifier]

Les conséquences[modifier]

Les réfutations[modifier]

Les passages à souligner
Les remarques
Les passages à commenter
Les passages à questionner
Les passages à prouver
Les passages à réfuter
Les promesses à vérifier
Les passages à référencer
Les notes et références

La bibliographie[modifier]

Les sous-pages[modifier]

Assertion n’a pas de sous-pages à énumérer.

Pages liées[modifier]


le canevas de cette page a été crée par {{subst:page de définition}}