Forum de mathématiques - Bibm@th.net

Mouss

Membre

Inscription : 23-04-2020

Messages : 105

Raisonnement

Bonjour, est ce quil y a une difference entre une proposition et une assertion ?  Ou cest la meme chose?
Merci.

bridgslam

Membre Expert

Lieu : Rospez

Inscription : 22-11-2011

Messages : 1 903

Re : Raisonnement

Bonjour,

D'après ce que j'ai vu dans la littérature, "assertion" désigne un énoncé mathématique qui est automatiquement vrai ou faux.
Exemples:" Mars est un satellite de la Terre", "Thomas Pesquet est un homme-grenouille ou Thomas Pesquet est un cosmonaute", etc

Le terme "proposition" semble un peu plus général, englobant à la fois les assertions et les énoncés faisant intervenir des variables, c'est-à-dire les prédicats, dont la valeur de vérité dépend donc des valeurs attribués aux variables.
"Le peuple du pays P a pour langue maternelle L": elle est vraie pour P=France et L = français, mais vraie ou fausse pour d'autres choix de P et L.
Certains auteurs semblent tout désigner par "proposition".

Alain