Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#2 10-11-2021 16:24:24
- 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
Hors ligne
Pages : 1