Bonjour, j'ai une question qui porte sur le chapitre logique en première année de MASS;
En terminale on nous avait appris, que le contraire (ou la négation) de "aucun" était "au moins un", ce qui est + ou - logique. Cette année notre prof nous dit que la négation de "il existe pour tout x d'un ensemble E" est "il existe au moins un x d'un ensemble E". Or même si je vois qu'il y a une différence entre "pour tout x" et "il existe au moins un x" , ces propositions ne me semblent pas contraires. Pourriez vous m'éclairer sur ce point.
D'avance merci.