ExoCo-LMD
Mathématique => L2 Mathématiques (Les modules de deuxième année) => Logique mathématique => Discussion démarrée par: sabrina le Janvier 04, 2019, 05:28:26 PM
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,