IREMInstitut de recherche sur l'enseignement des mathématiques de Grenoble

Auteur(s) :

R. Kouki

Résumé :

Une appropriation correcte des concepts d'équation et d'inéquation pour leur usage mathématique nécessite que l'on soit capable d'articuler deux points de vue : le premier correspondant au point de vue sémantique, tel qu'on le définit en logique dans la suite des travaux de Tarski, le second consistant à gérer les règles de fonctionnement des expressions numériques, correspondant au point de vue syntaxique.

Mots-clés :

équations - inéquations - calcul des prédicats - variable - syntaxe - sémantique.