[Linux-bruxelles] Re: application inexistante indispensable doit apparaitre incessament selon la loi de Darwin (*)

[Hervé Eychenne]

On Thu, Jan 06, 2005 at 11:47:22PM +0100, Miguel Quaremme wrote:

> ça veut dire quoi contraposée ?

C'est une technique de preuve mathématique.

En un mot : démontrer l'implication A=>B revient à démontrer !B=>!A,
implication qui est la contraposée de A=>B.


En un peu plus de mots :

Prenons la table
A  B  A=>B
----------
V  V   V
V  F   F
F  V   V
F  F   V

quand B est vraie, A=>B est toujours vraie.
Pour démontrer A=>B, on se concentre donc sur le cas où B est
fausse. On devrait donc trouver que A est fausse (pour que A=>B soit
vraie).


Application à la discussion :

Frédéric : "si une invention donnée n'a pas encore été faite, c'est
donc que l'humanité n'a pas besoin de cette invention"

Donc, ici :
- A : une invention donnée n'a pas encore été faite
- B : l'humanité n'a pas "besoin" de cette invention

!B=>!A : "si l'humanité a "besoin" de cette invention, alors l'invention a
         forcément été faite"

L'implication !B=>!A n'est pas vraie (il y a des tas d'inventions dont
l'humanité a besoin qui ne sont pas encore apparues), donc l'implication
A=>B ne peut l'être.

Bien sûr, cette "démonstration" buttera toujours sur la notion de
besoin ou de nécessité, voire même d'invention, pour les plus
tâtillons.

 Hervé

-- 
 _
(°=  Hervé Eychenne
//)  Homepage:          http://www.eychenne.org/
v_/_ WallFire project:  http://www.wallfire.org/