Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 26-10-2025 00:35:34
- David67
- Membre
- Inscription : 26-10-2025
- Messages : 2
« Énoncé mathématique »
Bonjour à tous,
Concernant les définitions d’une « proposition logique » et d’une « fonction propositionnelle », on dit dans presque tous les cours que c’est un énoncé mathématique (qui est vrai ou faux pour une proposition logique par exemple). Mais comment définir ce qu’est un énoncé mathématique ?
Merci pour votre réponse,
Belle fin de week-end.
David
Hors ligne
#3 26-10-2025 10:54:55
- David67
- Membre
- Inscription : 26-10-2025
- Messages : 2
Re : « Énoncé mathématique »
Merci pour votre réponse,
Cela veut dire, comme ce n’est pas une notion mathématique, qu’on ne peut pas la définir c’est bien ça ? On considère alors que c’est juste une phrase mathématique (= ayant un sens mathématique) sans plus de précisions alors ? Par exemple « démontrer que 2+2 est un réel » est un énoncé mathématique ?
Hors ligne
#4 27-10-2025 06:43:38
- Foys
- Invité
Re : « Énoncé mathématique »
Bonjour;
Il existe divers systèmes axiomatiques pour les mathématiques. Dans ceux-ci on peut parfaitement et rigoureusement définir ce qu'est un énoncé mathématique (il s'agit d'une formule de logique).
Un exemple de tel système se trouve décrit de manière détaillée dans l'édition de 1970 du livre de N.Bourbaki: théorie des ensembles.
Pages : 1