Discussion:Logique (mathématiques élémentaires)
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Formalisation[modifier le code]
Je ne sais pas si cette partie est nécessaire. Personnellement, la formalisation de la logique, je ne l'ai vue qu'en prépa, et encore, parce que je prenais l'option informatique. Certes, aucun prérequis n'est nécessaire à sa compréhension, mais je ne suis pas sûre qu'elle ait sa place dans "mathématiques élémentaires" dont le but est, si j'ai bien compris, de traiter des mathématiques du niveau collège/lycée. Léna 14 août 2006 à 15:16 (CEST)
lecture rapide[modifier le code]
J'ai un peu gommé, mais le discours qui sous-tendait l'article, en gros pour formaliser les math. ont peut tout ramener au calcul propositionnel et aux tables de vérité, est complètement faux. Il faut du calcul des prédicats. Proz (d) 14 février 2011 à 21:45 (CET)
Modification pour rendre compréhensible par tout lycéen[modifier le code]
Cet article est, à mon sens, parfait pour un élève de Terminale scientifique. On peut toutefois regretter l'exemple utilisant la notion de nombre complexe : l'élève pourra être gêné par cet exemple en début d'année. Cela est vrai a fortiori pour un bon élève de Première, voire de Seconde. --82.247.108.210 (d) 23 février 2013 à 16:16 (CET) Michel de Mareuil ,
- L'exemple sur "un carré est toujours positif" est volontairement choisi pour des mathématiques élémentaires : il s'agit de mettre en évidence qu'une propriété qui semble universelle n'est vraie que dans un certain contexte qu'il est nécessaire de préciser. C'est un choix éditorial de prendre une proposition qui semble évidente à tous et de montrer qu'elle n'est plus vraie si on sort du champs d'étude courant. Certes cela entraine le lecteur vers la découverte éventuelle d'un nouvel ensemble de nombres mais cela ne me parait pas un élément bloquant. Cependant, si quelqu'un trouve un autre exemple, demandant moins de connaissances préalables et permettant encore de montrer l'importance d'une quantification qui ne semblerait pas nécessaire à prime abord, alors on pourra améliorer la section. HB (d) 27 février 2013 à 08:44 (CET)