Re: [typo] si et seulement si

[Michel Bovani <michel.bovani AT numericable.fr>]

Le 22 févr. 2007 à 22:18, Sebastien Mengin a écrit :

> Le 22 fév 2007 à 08:28, Jacques Melot a écrit:
> > [J. M.]   La formulation indique qu'il ne s'agit
> > pas d'une définition. C'est l'énoncé d'un
> > théorème ou, moins typiquement, un commentaire.
>
> En fait, dans le document en question, il s'agit d'une «proposition».
>
> Ces «si et seulement si» apparaissent d'ailleurs quasi uniquement dans
> ces propositions.
>
> La perle étant un paragraphe de trois lignes (dans une preuve cette
> fois) qui contient trois occurences de cette expression.  Magnifique.
> Mais j'imagine que c'est normal...


Disons que quelque chose du genre « blabla si et seulement si bloblo  
» dit à la fois et d'un seul coup « blabla si bloblo » et « bloblo si  
blabla ». En d'autres termes si l'on se permet de dire que « si »  
transpose le connecteur logique « implique » dans le langage courant  
(un peu osé pour un logicien, Jacques Melot va peut-être m'étriper,  
mais bon...) on doit se permùettre de dire que « si et seulement si  
», en un quasi un seul mot, transpose le connecteur logique «  
équivaut à » dans le même langage courant (dont j'admets que du coup  
il n'a plus rien de très courant. Bref.


--
Michel Bovani