> 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 , ce n'est donc pas le cas ?
> ( par exemple cette phrase serait vraie : si la lumière n'existe pas ,
> alors le ciel est rouge )



VRAI = 1

FAUX = 0


Il faut distinguer ici la logique utilisée en informatique dans de
nombreux langages de programmation et la logique pure.


très souvent dans les langages de programmation le bloc d'instruction
qui suit le Si ne s'exécute que Si la condition est VRAI. Si elle est
fausse il faut prévoir le SI NON (Else dans bien des langages).


Par contre en logique pure et vous avez raison de le rappeler, des
conséquents peuvent être Vrais avec pourtant des prémisses fausses.
La question a longtemps a fait l'objet de nombreuses disputatio dès
l'Antiquité.


La méthode algorithmique est plus stricte que la logique pure car elle
ne prend pas en compte (sauf précision particulière) le cas prémisse
fausse-conséquent vrai de façon directe. Mais ce cas est bien sur
parfaitement traitable en Algorithmique.