Bon je vois que le bogue (cautionné par quel genre de logiciens ?) n’est toujours pas corrigé.

Il faut tout de même s’y coller avant qu’il ne contamine trop de gens pressés.

La contraposée de « si A alors B » est :  « si non B alors non A ».

Démontrons que si la proposition ’si A alors B’ est vraie, alors sa contraposée est alors toujours vraie.

 Nous savons, par la logique de Bool (que tout informaticien ne saurait snober) que : (P=>Q) <=> (non P ou Q)  C’est facile à vérifier à partir des tables de vérité.
 Il suffit de savoir remplacer un paramètre (accessible à un informaticien ?)

(A=>B) <=> (non A ou B) 
et 

(non B=>non A) <=> (non (non B) ou non A)  <=> ( B ou non A) 

or, vue la commutativité du « ou » :
( B ou non A)  <=> (non A ou B) 

CQFD !  : (A=>B) <=> (non B=>non A)

Dans la proposition :

« Ne pas voter c’est laisser s’exprimer les autres »

posons A= « 

Ne pas voter" et B=« laisser s’exprimer les autres »

non B est alors : « ne pas laisser s’exprimer les autres »

 

et non A est : ’non (ne pas voter)’ c’est à dire ’voter’

Reste à savoir et comprendre aussi ce qu’est une démonstration par l’absurde

Laissons maintenant chacun décider de ce qu’il pense (vérité ou lapsus stupide ?) de la péroraison initiale