Bienvenue à exoco-lmd.com! Partagez et consultez des solutions d'examens et d'exercices des programmes LMD et formation d'ingénieur.

Eléments de Logique

Démarré par sabrina, Janvier 04, 2019, 05:28:26 PM

« précédent - suivant »

sabrina

Eléments de Logique
But du calcul assertionnel
Dans le cadre d'une théorie mathématique T donnée ( par exemple, la
théorie des groupes, la théorie des espaces vectoriels, ...), une assertion est
une phrase mathématique à laquelle on peut attribuer une et une seule valeur
de vérité, à savoir vrai (V en abrégé) ou faux (F en abrégé).
Toutes les phrases d'une théorie ne sont pas des assertions ; il en existe
auxquelles il est impossible d'attacher une valeur de vérité ; elles sont dites
indécidables.
Une assertion P vraie est appelée proposition ; on dit alors qu'on a P, ou
que P est vraie. Selon l'importance qu'on donne à la proposition au sein de la
théorie, celle-ci pourra aussi porter le nom de : théorème, corollaire, lemme,

Hors ligne Annonceur

  • Jr. Member
  • **
  • Messages: na
  • Karma: +0/-0
Re : message iportant de l'auteur
« le: un jour de l'année »





Suggestions pour vous