aristide a écrit :



> nephets a écrit :

> > Ne faudra t'il pas plutôt changer vrai en vraie , a la place de faux
> > en fausse ?


> > Par ailleurs , j'avais lu quelque part que les propositions de la forme


> > SI ALORS
> > sont vraies quand la prémisse est fausse



Diodore et Philon ont beaucoup étudié les problèmes posés par le
conditionnel.

Leur conclusion a été que c'était toujours VRAI sauf dans le cas
suivant:


Condition VRAI conséquent FAUX. (Diodore et implication de philon)


Mais Philon resta dans le doute et je partage sont avis car le cas
d'une condition VRAI qui conduit à un conséquent FAUX peut facilement
se produire dans la réalité. C'est très visible en informatique si
le bloc d'instruction conduit à un résultat FAUX.


En conclusion : le Conditionel ou les implications ne sont pas du tout
une preuve du VRAI. Ils sont à examiner avec toutes sortes de
réserves quant aux résultats.